diff options
Diffstat (limited to 'support/windows/scala_wrapper-header.bat')
-rwxr-xr-x | support/windows/scala_wrapper-header.bat | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/support/windows/scala_wrapper-header.bat b/support/windows/scala_wrapper-header.bat deleted file mode 100755 index 7f70f30cb1..0000000000 --- a/support/windows/scala_wrapper-header.bat +++ /dev/null @@ -1,10 +0,0 @@ -@echo off
-
-rem Copyright (C) 2002-2005 LAMP/EPFL
-rem
-rem This is free software; see the distribution for copying conditions.
-rem There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A
-rem PARTICULAR PURPOSE.
-
-if "%OS%"=="Windows_NT" @setlocal
-
|