]> piware.de Git - bin.git/commitdiff
merge changes from server branch
authormartin@piware.de <>
Sun, 28 Jan 2007 12:32:11 +0000 (13:32 +0100)
committermartin@piware.de <>
Sun, 28 Jan 2007 12:32:11 +0000 (13:32 +0100)

Trivial merge