]> gitweb.factorcode.org Git - factor.git/commit
sorting.insertion: skip the zero'th element.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 28 Apr 2014 00:13:26 +0000 (17:13 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 28 Apr 2014 00:13:26 +0000 (17:13 -0700)
commit00bd0c52e7bb444379eee7d95476f0c5e1e4e085
treee378f447426bd58dd1b8aa5426daad3c83e2ad4d
parent72efd1607490106b6dd7cf7dec43ed21337fea3f
sorting.insertion: skip the zero'th element.
basis/sorting/insertion/insertion.factor