]> gitweb.factorcode.org Git - factor.git/commit
help.html: better colors
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 28 Jun 2022 04:15:56 +0000 (21:15 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 28 Jun 2022 04:15:56 +0000 (21:15 -0700)
commit67ad63b499d3abbb47e53317a2caef0614245533
tree3c676b54d56554514296b135d60dbf82d7907a33
parent3175af6a779e9f112c9cc8fb7f7cb930ac4061ca
help.html: better colors
basis/help/html/html.factor