Author: frank Date: 2005-08-17 11:37:22 +0000 (Wed, 17 Aug 2005) New Revision: 142 Added: tetex-base/tags/debian_version_3.0-7/ Log: tagging release 3.0-7 [For the full diff, see pkg-tetex-commits@alioth.debian.org mailing list.]