]> gitweb.factorcode.org Git - factor.git/commit
help.html: inverse dashed colors
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 30 Jan 2023 06:53:37 +0000 (22:53 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 30 Jan 2023 06:53:50 +0000 (22:53 -0800)
commit9f5c8dc32f066d24f9fa8cae0ab86de8ae50d8b0
tree2a511b86f2c2b24d4b97ccb4c1af774b15e7ed1a
parentb231b474b8543c57d550da4b07ea07e701446ec6
help.html: inverse dashed colors
basis/help/html/html.factor