diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftosrc.test')
| -rwxr-xr-x | Build/source/texk/web2c/pdftexdir/pdftosrc.test | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftosrc.test b/Build/source/texk/web2c/pdftexdir/pdftosrc.test index defd105b662..e93c3e83eab 100755 --- a/Build/source/texk/web2c/pdftexdir/pdftosrc.test +++ b/Build/source/texk/web2c/pdftexdir/pdftosrc.test @@ -1,5 +1,5 @@ #! /bin/sh -vx -# $Id$ +# $Id: pdftosrc.test 804 2018-05-17 22:29:15Z karl $ # Copyright 2017 Karl Berry <tex-live@tug.org> # Copyright 2011 Peter Breitenlohner <tex-live@tug.org> # You may freely use, modify and/or distribute this file. |