]> gitweb.factorcode.org Git - factor.git/commit
help.html: improve help-header to match the UI
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 10 Jan 2022 23:50:28 +0000 (15:50 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 10 Jan 2022 23:50:28 +0000 (15:50 -0800)
commit387edfc58274dc96f16639967a287bd552ed3ba1
tree3118c08d7766db9db9eb19b9c84dcacecf1105da
parenteb3d24973a5d9d5f88812f540fb8a3697889fe83
help.html: improve help-header to match the UI
basis/help/html/html.factor