diff options
Diffstat (limited to 'Master/bin/win32/texindy.bat')
-rwxr-xr-x | Master/bin/win32/texindy.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/win32/texindy.bat b/Master/bin/win32/texindy.bat index db35d13b51c..9c8c504c1e4 100755 --- a/Master/bin/win32/texindy.bat +++ b/Master/bin/win32/texindy.bat @@ -1,8 +1,8 @@ @echo off
rem Universal script launcher
rem
-rem Copyright 2009 by Tomasz M. Trzeciak
rem Public Domain
+rem Originally written 2009 by Tomasz M. Trzeciak.
rem Make environment changes local
setlocal enableextensions
|