* Prepare for landing of version 0.7.3.
[ginac.git] / debian / ginac-dev.postrm
2001-02-07 Richard KreckelHope this works now. release_0-7-1