Merge branch 'ginac_1-5' of ssh://www.ginac.de/srv/git/ginac into ginac_1-5
authorRichard Kreckel <kreckel@ginac.de>
Sun, 4 Oct 2009 20:34:33 +0000 (22:34 +0200)
committerRichard Kreckel <kreckel@ginac.de>
Sun, 4 Oct 2009 20:34:33 +0000 (22:34 +0200)

Trivial merge