]> gitweb.factorcode.org Git - factor.git/commit
help.html: remove funky vocab-prefix hack.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 24 Feb 2018 23:40:23 +0000 (15:40 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 24 Feb 2018 23:45:02 +0000 (15:45 -0800)
commitf96fb3bcc879831d41e1df5c95fe87699f9195c5
tree12a89a49bdf443cd900449a91500ec53debfe79a
parent923944f41e0129aa3b567d35d27047008599fca9
help.html: remove funky vocab-prefix hack.
basis/help/html/html.factor
basis/help/vocabs/vocabs.factor
basis/vocabs/hierarchy/hierarchy.factor