diff options
Diffstat (limited to 'bin/proguardgui.bat')
| -rw-r--r-- | bin/proguardgui.bat | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/bin/proguardgui.bat b/bin/proguardgui.bat deleted file mode 100644 index c328f5b..0000000 --- a/bin/proguardgui.bat +++ /dev/null @@ -1,14 +0,0 @@ -@ECHO OFF - -REM Start-up script for the GUI of ProGuard -- free class file shrinker, -REM optimizer, obfuscator, and preverifier for Java bytecode. -REM -REM Note: when passing file names containing spaces to this script, -REM you'll have to add escaped quotes around them, e.g. -REM "\"C:/My Directory/My File.txt\"" - -IF EXIST "%PROGUARD_HOME%" GOTO home -SET PROGUARD_HOME=%~dp0\.. -:home - -java -jar "%PROGUARD_HOME%\lib\proguardgui.jar" %* |