]> gitweb.factorcode.org Git - factor.git/commit
splitting.monotonic: cleanup, a little faster.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 14 Jul 2012 22:22:34 +0000 (15:22 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 14 Jul 2012 22:22:34 +0000 (15:22 -0700)
commit1ea580d911f7b4939e4535bc50a479d226a71de7
tree75d9e5c1f5e9b1b3028cea1595290492739fec10
parent6dc49d6014d2e444d1bcda407a8a03e222411bdb
splitting.monotonic: cleanup, a little faster.
basis/splitting/monotonic/monotonic.factor