diff options
Diffstat (limited to 'Master/bin/x86_64-linux/mktexmf')
| -rwxr-xr-x | Master/bin/x86_64-linux/mktexmf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/x86_64-linux/mktexmf b/Master/bin/x86_64-linux/mktexmf index bb868c12a8d..f6b8991e8d1 100755 --- a/Master/bin/x86_64-linux/mktexmf +++ b/Master/bin/x86_64-linux/mktexmf @@ -7,7 +7,7 @@ # Originally written by Thomas Esser. # Public domain. -version='$Id: mktexmf 34656 2014-07-18 23:38:50Z karl $' +version='$Id$' # preferentially use subprograms from our own directory. mydir=`echo "$0" | sed 's,/[^/]*$,,'` |