]> gitweb.factorcode.org Git - factor.git/commit
sets: reverting push-unsafe change for now, seems to slow it down a little?
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 23 Mar 2013 22:22:52 +0000 (15:22 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 23 Mar 2013 22:31:46 +0000 (15:31 -0700)
commitd6053dd81e193154d34e471ae6e25a59fb54366c
treec90570a9e7f68328cdfb1d4d23a7e4b3db888c53
parente0e12fd5eac24db79396c869cae77617e01e5199
sets: reverting push-unsafe change for now, seems to slow it down a little?
core/sets/sets.factor