diff options
Diffstat (limited to 'etc/config/javascript.defaults.properties')
| -rw-r--r-- | etc/config/javascript.defaults.properties | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/etc/config/javascript.defaults.properties b/etc/config/javascript.defaults.properties deleted file mode 100644 index eab2bc5ab..000000000 --- a/etc/config/javascript.defaults.properties +++ /dev/null @@ -1,24 +0,0 @@ -# Default settings for v8 - -compilers=&v8 -defaultCompiler=v8trunk - -group.v8.compilers=v8trunk:v8113 -group.v8.isSemver=false -group.v8.baseName=v8 - -compiler.v8trunk.exe=d8 -compiler.v8trunk.options=--print-opt-code --redirect-code-traces --allow-natives-syntax - -compiler.v8113.exe=d8 -compiler.v8113.options=--print-opt-code --redirect-code-traces --allow-natives-syntax - -supportsBinary=false -interpreted=true -compilerType=v8 -objdumper= -demangler= -postProcess= -options= -supportsExecute=false -stubText= |