]> gitweb.factorcode.org Git - factor.git/commit
help.html: tweak help-header to match the UI
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 10 Jan 2022 23:32:57 +0000 (15:32 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 10 Jan 2022 23:32:57 +0000 (15:32 -0800)
commiteb3d24973a5d9d5f88812f540fb8a3697889fe83
tree5c96d7f265e9ecc99d977969b207e1f33e037ab6
parent1ee490879f4a17e2d8be1319369b72d660f91fd4
help.html: tweak help-header to match the UI
basis/help/html/html.factor