Merge branch 'master' of ssh://www.ginac.de/srv/git/ginac
authorRichard Kreckel <kreckel@ginac.de>
Thu, 25 Mar 2010 21:23:13 +0000 (22:23 +0100)
committerRichard Kreckel <kreckel@ginac.de>
Thu, 25 Mar 2010 21:23:13 +0000 (22:23 +0100)

Trivial merge