]> gitweb.factorcode.org Git - factor.git/commit
help.html: go back to previous code colors
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 7 Feb 2023 04:46:57 +0000 (20:46 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 7 Feb 2023 04:46:57 +0000 (20:46 -0800)
commit719ec2bb6ea6dbc6327fae01f22fe9a324036760
tree0e3dccd04215b947ffefea067eb68bfcdbc9712a
parent11ab51e16016b5350f5e6f41b2c3a4a1025a43fe
help.html: go back to previous code colors
basis/help/html/html.factor