diff options
Diffstat (limited to 'Build/source/texk/gregorio/gregorio.test')
-rwxr-xr-x | Build/source/texk/gregorio/gregorio.test | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/gregorio/gregorio.test b/Build/source/texk/gregorio/gregorio.test index f8daa762d22..4aaf4067e11 100755 --- a/Build/source/texk/gregorio/gregorio.test +++ b/Build/source/texk/gregorio/gregorio.test @@ -1,6 +1,6 @@ -#! /bin/sh +#! /bin/sh -vx # $Id$ -# Copyright 2016 Karl Berry <tex-live@tug.org> +# Copyright 2016-2017 Karl Berry <tex-live@tug.org> # Copyright 2015 Peter Breitenlohner <tex-live@tug.org> # You may freely use, modify and/or distribute this file. |