]> gitweb.factorcode.org Git - factor.git/commit
help.html: more responsive help docs.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 1 Mar 2020 18:26:47 +0000 (10:26 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 1 Mar 2020 18:27:22 +0000 (10:27 -0800)
commitc64d9032b5a322bfc764e19f97ff4e6cdc2c6882
tree3de7ed88dc1af832d8ecccf1d76e0b49c37be433
parente07abedafe8b7666914512be75b820e9cddbfa95
help.html: more responsive help docs.
basis/help/html/html.factor