From: Jens Vollinga Date: Tue, 9 Sep 2008 20:42:50 +0000 (+0200) Subject: Merge branch 'master' of git://ffmssmsc.jinr.ru:443/varg/ginac X-Git-Tag: release_1-5-0~63 X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=b8150271ff497c2ef0c2a8748f5f53b4f1bab7c8 Merge branch 'master' of git://ffmssmsc.jinr.ru:443/varg/ginac --- b8150271ff497c2ef0c2a8748f5f53b4f1bab7c8