]> gitweb.factorcode.org Git - factor.git/commit
help.html: remove border color now that it is set.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 25 Jul 2022 21:26:44 +0000 (14:26 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 25 Jul 2022 21:26:44 +0000 (14:26 -0700)
commitf90cb628b69bcf61432157796ba55971991da210
treea85b43bac7a93cbe6dd4696298a845294f28b405
parentcac3c968f1ecdcfe651de2ce8c7afc8c6abfc363
help.html: remove border color now that it is set.
basis/help/html/html.factor