]> gitweb.factorcode.org Git - factor.git/commit
help.html: quick fix for qualified searching of words
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 19 Jun 2022 00:37:27 +0000 (17:37 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 19 Jun 2022 00:37:27 +0000 (17:37 -0700)
commite1c05d8d42c2d7e11b55a1dc8696e61963d772a4
treeb4064d9315025ff7bcd13db1d6c77883b4868688
parenta17da74181fc87938aee868e6e6f097b2119edc6
help.html: quick fix for qualified searching of words
basis/help/html/html.factor