CVSROOT: /cvs/tetex Module name: tetex-base Changes by: frank Sat Jul 24 11:49:11 MDT 2004 Modified files: debian : tetex-extra.postrm changelog Log message: fix for severe bug #261137