]> gitweb.factorcode.org Git - factor.git/commit
minesweeper: workaround world initialization problem.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 12 Feb 2018 04:00:18 +0000 (20:00 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 12 Feb 2018 04:00:18 +0000 (20:00 -0800)
commit3aee29e373fa0581045fe3ec96246114d5bde630
tree89d8f665f8ac9de1f21034ad57055bc3d29fa136
parent61df87db072c7d96641852ccc9e74bbdf915d3d1
minesweeper: workaround world initialization problem.

Needs a better long term fix.
extra/minesweeper/minesweeper.factor