]> www.ginac.de Git - ginac.git/history - debian/ginac-tools.install
Merge branch 'master' of git://ffmssmsc.jinr.ru:443/varg/ginac
[ginac.git] / debian / ginac-tools.install
2005-07-08 Jens VollingaUpdated Debian configuration [A.Sheplyakov].