]> gitweb.factorcode.org Git - factor.git/commitdiff
Merge branch 'master' of git://github.com/slavapestov/factor
authorotoburb <otoburb@gmail.com>
Mon, 4 Apr 2011 13:04:00 +0000 (13:04 +0000)
committerotoburb <otoburb@gmail.com>
Mon, 4 Apr 2011 13:04:00 +0000 (13:04 +0000)

Trivial merge