]> gitweb.factorcode.org Git - factor.git/commit
help.html: fix css whoops
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 30 Jan 2023 00:41:36 +0000 (16:41 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 30 Jan 2023 00:41:52 +0000 (16:41 -0800)
commite653ddf35807d8f974d9ba80873426ad3833f19e
tree1fc52e1d883d6466f49afd6175279151dc9f8e04
parent0efb7b419e6c7cfb975cfc041f4c05abdd46f88c
help.html: fix css whoops
basis/help/html/html.factor