]> gitweb.factorcode.org Git - factor.git/commit
minesweeper: some fixes to keep correct flag when winning/losing.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 24 Feb 2018 16:13:30 +0000 (08:13 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 24 Feb 2018 16:13:30 +0000 (08:13 -0800)
commitb8ce63491f300355993fc62f86353ed6b18b44dc
treef289400bbfb4224eb6d2587f7742c8b79ed255e0
parent8f42570ba6dfe45e7f6f09f343d7b677523f040a
minesweeper: some fixes to keep correct flag when winning/losing.
extra/minesweeper/minesweeper.factor