]> gitweb.factorcode.org Git - factor.git/commit
help.html: fix using
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 18 May 2022 03:28:21 +0000 (20:28 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 18 May 2022 03:28:21 +0000 (20:28 -0700)
commit072ff7b117a61b75e6eb079653b4e7c04dd27a52
treed817b1f7b83d7b626f0069bc04ae54b1819470df
parent4297627d9ee54dfd1176156fefb8404a5d3557c3
help.html: fix using
basis/help/html/html.factor