]> gitweb.factorcode.org Git - factor.git/commitdiff
Merge branch 'master' of git://factorcode.org/git/factor
authorJoe Groff <arcata@gmail.com>
Mon, 11 May 2009 17:37:50 +0000 (12:37 -0500)
committerJoe Groff <arcata@gmail.com>
Mon, 11 May 2009 17:37:50 +0000 (12:37 -0500)
Conflicts:
basis/ui/gadgets/worlds/worlds.factor


Trivial merge