help.html: whoops, typo
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 25 Sep 2022 20:58:34 +0000 (13:58 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 25 Sep 2022 20:58:34 +0000 (13:58 -0700)
commit4757b17d1b461c673ca493a87325c700e03b4fb7
tree3753f3ceccfadb2679e67bd14526d5e4eb09dda8
parent116a149a258626bc44c052ec7ff10620568c51a0
help.html: whoops, typo
basis/help/html/html.factor