]> www.ginac.de Git - ginac.git/commitdiff
- '#' as the first character of a line starts a comment
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Wed, 21 Jun 2000 21:05:38 +0000 (21:05 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Wed, 21 Jun 2000 21:05:38 +0000 (21:05 +0000)

No differences found