annotate scripts/__init__.py @ 12:1639be0967d6

Warn if multiple solutions have been found in the project.
author Ludovic Chabant <ludovic@chabant.com>
date Tue, 29 Aug 2023 12:50:59 -0700
parents 5d2c0db51914
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source