]> gitweb.factorcode.org Git - factor.git/commitdiff
Merge branch 'master' of git://github.com/mrjbq7/factor
authorSlava Pestov <slava@shill.local>
Sat, 26 Mar 2011 01:54:35 +0000 (18:54 -0700)
committerSlava Pestov <slava@shill.local>
Sat, 26 Mar 2011 01:54:35 +0000 (18:54 -0700)

Trivial merge