]> gitweb.factorcode.org Git - factor.git/commit
help.html: make titles wrap properly
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 22 Jan 2022 21:13:14 +0000 (13:13 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 22 Jan 2022 21:13:14 +0000 (13:13 -0800)
commit381eb8702498f04635ebd913303403f9489d7e30
treeb86830cd7c2cd92273e66ae97a2536005e7118b2
parent63a5131f99035a5e8136cea00d548f14599b3edb
help.html: make titles wrap properly
basis/help/html/html.factor