* Remove timing for -O0, people really shouldn't use it.
[ginac.git] / debian / ginac-tools.postrm
2001-04-16 Richard Kreckel* Now this four-package split-up is gonna get in. ... release_0-8-1