]> gitweb.factorcode.org Git - factor.git/commit
dlists: rename "seq>dlist" to ">dlist".
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 13 Jul 2012 22:15:14 +0000 (15:15 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 13 Jul 2012 22:15:14 +0000 (15:15 -0700)
commit9f56eb6981c9dc48ee8c26018ca025d0f41cab7e
tree750c5e6ab01afd8f6517c8960263cf7584881a46
parenta57fff942454a7c79011761f42f3bf14cc00bb8d
dlists: rename "seq>dlist" to ">dlist".
basis/dlists/dlists.factor