]> gitweb.factorcode.org Git - factor.git/commitdiff
Merge branch 'master' of git://github.com/ex-rzr/factor
authorSlava Pestov <slava@shill.local>
Sat, 4 Jun 2011 01:33:05 +0000 (18:33 -0700)
committerSlava Pestov <slava@shill.local>
Sat, 4 Jun 2011 01:33:05 +0000 (18:33 -0700)

Trivial merge