]> gitweb.factorcode.org Git - factor.git/commit
help.html: more space below $code blocks
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 22 Aug 2023 18:56:29 +0000 (11:56 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 22 Aug 2023 18:56:29 +0000 (11:56 -0700)
commit1c4ec363c3c1b9d4e36d03976e00041d3eaf65e0
tree2e1825b3d4dd9ce7892fa79c9c687681f617d64e
parentcd423326d5b7fe7fab88bf32d49a75fe9ebcb6d0
help.html: more space below $code blocks
basis/help/html/html.factor