diff options
author | Karl Berry <karl@freefriends.org> | 2020-03-12 22:30:53 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-03-12 22:30:53 +0000 |
commit | a4d11d6ff17d349d533069b8f836c9982468629e (patch) | |
tree | 756212856c4e37fe7b61b42321e1d1c1233868a6 /Master/bin/x86_64-linuxmusl/mkindex | |
parent | 142d2b74769565a0084573c408ffe532109980f8 (diff) |
r54259 tl20 rebuild from github
git-svn-id: svn://tug.org/texlive/trunk@54264 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-linuxmusl/mkindex')
-rwxr-xr-x | Master/bin/x86_64-linuxmusl/mkindex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/x86_64-linuxmusl/mkindex b/Master/bin/x86_64-linuxmusl/mkindex index 7e6c57fa196..60a237beb54 100755 --- a/Master/bin/x86_64-linuxmusl/mkindex +++ b/Master/bin/x86_64-linuxmusl/mkindex @@ -1,5 +1,5 @@ #!/bin/sh -# $Id: mkindex 52596 2019-11-01 18:11:31Z karl $ +# $Id$ # Public domain. Originally written by Thomas Esser around 2001.. test -f /bin/sh5 && test -z "$RUNNING_SH5" \ |