]> gitweb.factorcode.org Git - factor.git/commit
help.html: cleanup nav
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 7 Aug 2022 00:47:11 +0000 (17:47 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 7 Aug 2022 00:47:11 +0000 (17:47 -0700)
commitc283fd42f1e65b92eb217a36b2002ca5d55635e4
treed854dfb7885e1114bba682b584568eaf0612d0ad
parent0b0b3c83da3c70613042ea4d01442f21b4133d77
help.html: cleanup nav
basis/help/html/html.factor
basis/help/html/stylesheet.css