From: Jens Vollinga Date: Tue, 30 Sep 2008 09:47:25 +0000 (+0200) Subject: Merge branch 'master' of git://ffmssmsc.jinr.ru:443/varg/ginac X-Git-Tag: release_1-5-0~59 X-Git-Url: https://www.ginac.de/ginac.git/tutorial/ginac.git?a=commitdiff_plain;h=a377cee53b71348235ec36f83afeced7e10288a8;p=ginac.git Merge branch 'master' of git://ffmssmsc.jinr.ru:443/varg/ginac --- a377cee53b71348235ec36f83afeced7e10288a8