diff options
Diffstat (limited to 'etc/config/java.defaults.properties')
| -rw-r--r-- | etc/config/java.defaults.properties | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/etc/config/java.defaults.properties b/etc/config/java.defaults.properties deleted file mode 100644 index c54fb2ec9..000000000 --- a/etc/config/java.defaults.properties +++ /dev/null @@ -1,20 +0,0 @@ -# Default settings for Java -compilers=&java -compilerType=java -versionFlag=-version -objdumper=javap -instructionSet=java - -group.java.compilers=javacdefault -compiler.javacdefault.exe=/usr/bin/javac -compiler.javacdefault.runtime=/usr/bin/java -compiler.javacdefault.name=javac default - -defaultCompiler=javacdefault -demangler= -postProcess= -options= -supportsBinary=false -needsMulti=false -supportsExecute=true -interpreted=true |