]> gitweb.factorcode.org Git - factor.git/commit
Merge branch 'master' of git://factorforge.org/git/william42
authorSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Wed, 16 Jul 2008 23:37:01 +0000 (18:37 -0500)
committerSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Wed, 16 Jul 2008 23:37:01 +0000 (18:37 -0500)
commit86221a23d77c9f1949f928899bf89d2dbad34e72
tree148249731a4768af53641ac0339cc577206e217a
parentd0ae6bdb8f000be2c891edd605f3e9e238a27d0a
parentd1cbccca75373d1aa8ec72b6b9fe44b9f24a349f
Merge branch 'master' of git://factorforge.org/git/william42
extra/benchmark/backtrack/backtrack.factor