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//ginac.git?p=ginac.git;a=commitdiff_plain;h=a377cee53b71348235ec36f83afeced7e10288a8;hp=-c Merge branch 'master' of git://ffmssmsc.jinr.ru:443/varg/ginac --- a377cee53b71348235ec36f83afeced7e10288a8