]> gitweb.factorcode.org Git - factor.git/commit
minesweeper: minor doc edits.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 24 Feb 2018 21:01:17 +0000 (13:01 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 24 Feb 2018 21:01:17 +0000 (13:01 -0800)
commitfa91537935258b58a6861121dd4effef60801177
treecbfad7fb18c9eca9911d728ce907f8cc1011c35b
parent0fa8996aa484989b7825aaff37b190ad6b15b181
minesweeper: minor doc edits.
extra/minesweeper/minesweeper-docs.factor