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