]> gitweb.factorcode.org Git - factor.git/commit
help.html: whoops, need to remove the extra links.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 14 Feb 2020 05:52:43 +0000 (21:52 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 14 Feb 2020 05:52:43 +0000 (21:52 -0800)
commit3b08633604a690cb44f3382000fa43d39f100c7c
treecf5de20304d6db1f75e72864173438814920e8b9
parentba81ca3fa6785e1939b3981f7eeffa3562290c40
help.html: whoops, need to remove the extra links.
basis/help/html/html.factor