add "all" option for scanning all choicepoints master
authorRalph Ronnquist <ralph.ronnquist@gmail.com>
Sat, 13 Nov 2021 05:13:24 +0000 (16:13 +1100)
committerRalph Ronnquist <ralph.ronnquist@gmail.com>
Sat, 13 Nov 2021 05:13:24 +0000 (16:13 +1100)
commitf8f64a4df8a634ea536608edb20cb5000de8f286
tree4554ddfdbcb11e43a142819527fb51b4dee6ad12
parentd6fc08311a092f201086078482c71d62fc728410
add "all" option for scanning all choicepoints
sss.sh