]> gitweb.factorcode.org Git - factor.git/commit
sudokus: fix hint after solved
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 2 Sep 2023 00:11:01 +0000 (17:11 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 2 Sep 2023 00:11:01 +0000 (17:11 -0700)
commit0f817a2e9a9cf7815e4511c86238d582f415dbd8
tree54fd77540c525f42472b1556952fcf19febdd478
parent263ae23c7af61a0ec1645e19d28c7e05a0e161ed
sudokus: fix hint after solved
extra/sudokus/sudokus.factor