]> www.ginac.de Git - ginac.git/commitdiff
Merge branch 'master' of git://ffmssmsc.jinr.ru:443/varg/ginac
authorJens Vollinga <jensv@nikhef.nl>
Tue, 30 Sep 2008 09:47:25 +0000 (11:47 +0200)
committerJens Vollinga <jensv@nikhef.nl>
Tue, 30 Sep 2008 09:47:25 +0000 (11:47 +0200)

Trivial merge