]> www.ginac.de Git - ginac.git/commitdiff
Merge branch 'master' of git://ffmssmsc.jinr.ru:443/varg/ginac
authorJens Vollinga <jensv@nikhef.nl>
Tue, 9 Sep 2008 20:42:50 +0000 (22:42 +0200)
committerJens Vollinga <jensv@nikhef.nl>
Tue, 9 Sep 2008 20:42:50 +0000 (22:42 +0200)

Trivial merge