]> gitweb.factorcode.org Git - factor.git/commit
help.html: more default html output
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 31 Jan 2023 19:40:46 +0000 (11:40 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 31 Jan 2023 19:41:06 +0000 (11:41 -0800)
commitbd9e780825410762da5fdb1ca846cdfe5cdfc529
tree1cad56f004d9d5833b927ff0586db02b7d7428d4
parentfec42fe14f255de621d400346bdd821c876aca6c
help.html: more default html output
basis/help/html/html.factor
basis/help/html/stylesheet.css