]> gitweb.factorcode.org Git - factor.git/commit
help.html: tweak markup
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 2 Feb 2023 00:45:39 +0000 (16:45 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 2 Feb 2023 00:45:39 +0000 (16:45 -0800)
commite2c9936c4a7a7c3b6f61aa58de1ed953004f8f65
tree2394137e6c800f8fc14d6b71a3110afba67e0ced
parent8cf373a92ab28c6921c679050d891a820ffc2a12
help.html: tweak markup
basis/help/html/html.factor