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)
commita377cee53b71348235ec36f83afeced7e10288a8
tree2f86185a48dd3606285e616c4b85f1d7c5b3bbf5
parent2a5d912dc9407c6bd1dbee6cb99cfdc206c4e42c
parent546bababce8ef2b3c5ed3011cb7e49bd78016844
Merge branch 'master' of git://ffmssmsc.jinr.ru:443/varg/ginac