]> gitweb.factorcode.org Git - factor.git/commit
help.html: larger title
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 12 Jan 2022 17:04:45 +0000 (09:04 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 12 Jan 2022 17:04:45 +0000 (09:04 -0800)
commit62879bed37c992fcd4715afc9f36cedd0d7ed73b
tree85a03ecbaf6d7b3288761aea3643e832f0d44dc4
parent4fa43400e6a5b40486d3c8d287745da5361a9ddc
help.html: larger title
basis/help/html/html.factor