]> www.ginac.de Git - ginac.git/commitdiff
- small fix (info files are not gzipped)
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Tue, 8 Feb 2000 18:18:22 +0000 (18:18 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Tue, 8 Feb 2000 18:18:22 +0000 (18:18 +0000)

No differences found