]> gitweb.factorcode.org Git - factor.git/commit
help: sigh, let's just use the old word-help* name.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 27 May 2016 00:40:34 +0000 (17:40 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 27 May 2016 00:40:34 +0000 (17:40 -0700)
commitf2a5a8b4ea6fcad57b390ea4f8cf5bf8f0e10d7a
tree31f7bde152d19c1b2d54e710be93324a8ecfa77a
parent773edb680a1351e8020538cfefe123e083ec3a0e
help: sigh, let's just use the old word-help* name.
basis/help/help.factor