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)
commite710763e51b6fe11020bac880c44f426544471c2
tree6c27b194f3697f6bfb1c92a2985ceb681345ad4c
parent71e1de972fd7f37d560427bffbb0f36215788d31
parent9fb17531da05d2959decc3856d03c71c0220b116
Merge branch 'ginac_1-5' of ssh://ginac.de/srv/git/ginac into ginac_1-5