]> gitweb.factorcode.org Git - factor.git/commit
help.html: "no-roots no-prefixes" has a name, "filter-vocabs".
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 24 Feb 2018 23:43:18 +0000 (15:43 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 24 Feb 2018 23:45:02 +0000 (15:45 -0800)
commitcc0c5f263455a713353e13edfb45f9121ac3d0f2
tree3ae564544f5eab755b0e679d93b97af2b59688b5
parentf96fb3bcc879831d41e1df5c95fe87699f9195c5
help.html: "no-roots no-prefixes" has a name, "filter-vocabs".
basis/help/html/html.factor