CVSROOT: /cvs/tetex Module name: tetex-base Changes by: frank Sat Apr 16 09:50:01 MDT 2005 Modified files: debian : Copyright.Files Log message: correcting some mess made by the filesystem crash