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)
commitb8150271ff497c2ef0c2a8748f5f53b4f1bab7c8
treea27d0a74e64606448e5e4a8c5905562385bedc17
parent7d23da3e0ee0d03f90f47585ea27f86ecbfe866b
parentc647bf0942d660691272a8a2f4d7e5a3c0f6eb0f
Merge branch 'master' of git://ffmssmsc.jinr.ru:443/varg/ginac