diff options
Diffstat (limited to 'Chalice/scripts/create_release/files/chalice.bat')
| -rw-r--r-- | Chalice/scripts/create_release/files/chalice.bat | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Chalice/scripts/create_release/files/chalice.bat b/Chalice/scripts/create_release/files/chalice.bat deleted file mode 100644 index d70d05b8..00000000 --- a/Chalice/scripts/create_release/files/chalice.bat +++ /dev/null @@ -1,5 +0,0 @@ -@echo off
-
-call scala -cp chalice.jar chalice.Chalice /boogieOpt:nologo %*
-
-exit /B 0
|