]> gitweb.factorcode.org Git - factor.git/commit
help.html: round other colored boxes
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 29 Jun 2022 16:45:29 +0000 (09:45 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 29 Jun 2022 16:45:29 +0000 (09:45 -0700)
commitf9bec769243203e0226fc2a5fefb734e977c3f00
tree960c9f5107ec291646475ed58ea02460cd40f904
parentdf96aba69203125821f1212f49e9e20c7af498ba
help.html: round other colored boxes
basis/help/html/html.factor