]> gitweb.factorcode.org Git - factor.git/commit
dlists: make push-sorted inline
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 19 Sep 2013 01:22:58 +0000 (18:22 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 19 Sep 2013 01:22:58 +0000 (18:22 -0700)
commitfb63772e9dce36e4381c5a3175e8dbf95f840038
tree71043669dc53a158954d9459019e9e9b8d48b2cb
parentd8f258d47e8b14607268cf8138d8895860066b70
dlists: make push-sorted inline
basis/dlists/dlists.factor