diff options
Diffstat (limited to 'Master/bin/armhf-linux/mkindex')
| -rwxr-xr-x | Master/bin/armhf-linux/mkindex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/armhf-linux/mkindex b/Master/bin/armhf-linux/mkindex index 7e6c57fa196..60a237beb54 100755 --- a/Master/bin/armhf-linux/mkindex +++ b/Master/bin/armhf-linux/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" \ |