diff options
Diffstat (limited to 'Master/bin/i386-linux/mktextfm')
-rwxr-xr-x | Master/bin/i386-linux/mktextfm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/i386-linux/mktextfm b/Master/bin/i386-linux/mktextfm index d2c132aad89..46e30a9c5dc 100755 --- a/Master/bin/i386-linux/mktextfm +++ b/Master/bin/i386-linux/mktextfm @@ -7,7 +7,7 @@ # Primarily written by Thomas Esser, Karl Berry, and Olaf Weber. # Public domain. -version='$Id$' +version='$Id: mktextfm 34656 2014-07-18 23:38:50Z karl $' progname=`echo $0 | sed 's%.*/%%'` # preferentially use subprograms from our own directory. |