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