]> www.ginac.de Git - ginac.git/commitdiff
* Remove timing for -O0, people really shouldn't use it.
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Mon, 5 Nov 2001 13:04:36 +0000 (13:04 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Mon, 5 Nov 2001 13:04:36 +0000 (13:04 +0000)

No differences found