]> gitweb.factorcode.org Git - factor.git/commitdiff
Merge branch 'master' of git://factorcode.org/git/factor
authorAlfredo Beaumont <alfredo.beaumont@gmail.com>
Tue, 8 Jul 2008 20:01:07 +0000 (22:01 +0200)
committerAlfredo Beaumont <alfredo.beaumont@gmail.com>
Tue, 8 Jul 2008 20:01:07 +0000 (22:01 +0200)

Trivial merge