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 Copied: tetex-base/tags/debian_version_3.0-7 (from rev 141, tetex-base/trunk)