]> gitweb.factorcode.org Git - factor.git/commitdiff
Merge remote branch 'ex-rzr/master' into gtk
authorPhilipp Brüschweiler <blei42@gmail.com>
Mon, 26 Jul 2010 16:54:46 +0000 (18:54 +0200)
committerPhilipp Brüschweiler <blei42@gmail.com>
Mon, 26 Jul 2010 16:54:46 +0000 (18:54 +0200)

Trivial merge