]> gitweb.factorcode.org Git - factor.git/commit
Revert "hints: add hints to index."
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 20 Jul 2015 21:00:27 +0000 (14:00 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 21 Jul 2015 00:35:22 +0000 (17:35 -0700)
commit529a57bbb4603afe8e309b7424a7ebd20239eb68
tree737200fcb5148511d00a6373c5c2686e2b2f1de7
parent8a4a86db644279ef47c7c51ab47fba0e275ee5e5
Revert "hints: add hints to index."

This reverts commit 96ce04755a146404239fda91e2bac1b43385b46c.
basis/hints/hints.factor