* Remove timing for -O0, people really shouldn't use it.
[ginac.git] / CVSROOT /
1999-11-08 Richard Kreckelinitial checkin