* Remove timing for -O0, people really shouldn't use it.
[ginac.git] / debian / postinst
2001-01-31 Richard KreckelFixed most bugs with building Debian packages.