]> gitweb.factorcode.org Git - factor.git/commit
hints: cleanup some hint setting.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 11 Sep 2012 17:34:50 +0000 (10:34 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 11 Sep 2012 17:35:21 +0000 (10:35 -0700)
commit08499b6e5ad40df7d4bac86360298b2f65f21a97
tree5cdb1bacc2b09221f54f132ead8732ec04690a23
parent6023712f0573e05cb9c703f5e591f2529749d3a4
hints: cleanup some hint setting.
basis/hints/hints.factor