]> gitweb.factorcode.org Git - factor.git/commit
hints: remove these hints for now...
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 5 Mar 2013 03:03:10 +0000 (19:03 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 5 Mar 2013 03:03:10 +0000 (19:03 -0800)
commit843426c664db61d4d4f7fd45d37608ffbbf9c8cd
tree57f52a2e63b378d615d073b2ead73f23d2dd1cde
parent2c33fe56a47614bdc48a4813517e201f6966e9f9
hints: remove these hints for now...
basis/hints/hints.factor