]> www.ginac.de Git - ginac.git/commitdiff
Merge branch 'ginac_1-5' of git://www.ginac.de/ginac
authorAlexei Sheplyakov <Alexei.Sheplyakov@gmail.com>
Fri, 10 Dec 2010 16:34:22 +0000 (18:34 +0200)
committerAlexei Sheplyakov <Alexei.Sheplyakov@gmail.com>
Fri, 10 Dec 2010 16:34:22 +0000 (18:34 +0200)

Trivial merge