]> gitweb.factorcode.org Git - factor.git/commit
help.html: simplify (and separate) index generation.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 26 Sep 2014 04:30:36 +0000 (21:30 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 26 Sep 2014 04:30:36 +0000 (21:30 -0700)
commitaae6fb2ae36ab3460512edd965d6da9f14797a68
tree1fd97ec4a94ae402b6984c5dcf88f69e810567ee
parent179c60b0a5741a84f043edefcc6c285be27548a4
help.html: simplify (and separate) index generation.
basis/help/html/html.factor