diff options
Diffstat (limited to 'Master/Tools/tpm-factory.pl')
-rwxr-xr-x | Master/Tools/tpm-factory.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/Tools/tpm-factory.pl b/Master/Tools/tpm-factory.pl index 34172b02d0b..3e01e99689e 100755 --- a/Master/Tools/tpm-factory.pl +++ b/Master/Tools/tpm-factory.pl @@ -1,5 +1,5 @@ #!/usr/bin/env perl -# $Id: //depot/Master/Tools/tpm-factory.pl#46 $ $Date: 2005/10/05 $ $Author: staw $ +# $Id$ # Public domain. # # TPM Build tool for TeXLive |