diff options
Diffstat (limited to 'indexing/upmendex/source/tests/upmendex.test')
-rwxr-xr-x | indexing/upmendex/source/tests/upmendex.test | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/indexing/upmendex/source/tests/upmendex.test b/indexing/upmendex/source/tests/upmendex.test index 5b1f6b7db8..da75821d10 100755 --- a/indexing/upmendex/source/tests/upmendex.test +++ b/indexing/upmendex/source/tests/upmendex.test @@ -1,5 +1,5 @@ #! /bin/sh -vx -# $Id: upmendex.test 45809 2017-11-15 00:36:56Z karl $ +# $Id$ # Copyright 2017 Karl Berry <tex-live@tug.org> # Copyright 2013 Peter Breitenlohner <tex-live@tug.org> # You may freely use, modify and/or distribute this file. |