diff options
Diffstat (limited to 'etc/config/javascript.amazon.properties')
| -rw-r--r-- | etc/config/javascript.amazon.properties | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/etc/config/javascript.amazon.properties b/etc/config/javascript.amazon.properties deleted file mode 100644 index ab8bcbc6c..000000000 --- a/etc/config/javascript.amazon.properties +++ /dev/null @@ -1,26 +0,0 @@ -compilers=&v8 -defaultCompiler=v8trunk - -group.v8.compilers=v8trunk:v8113 -group.v8.isSemVer=true -group.v8.baseName=v8 -group.v8.groupName=v8 - -compiler.v8trunk.exe=/opt/compiler-explorer/d8-trunk/d8 -compiler.v8trunk.options=--print-opt-code --redirect-code-traces --allow-natives-syntax -compiler.v8trunk.semver=(trunk) -compiler.v8trunk.isNightly=true - -compiler.v8113.exe=/opt/compiler-explorer/d8-11.3/d8 -compiler.v8113.options=--print-opt-code --redirect-code-traces --allow-natives-syntax -compiler.v8113.semver=11.3 - -supportsBinary=false -interpreted=true -compilerType=v8 -objdumper= -demangler= -postProcess= -options= -supportsExecute=false -stubText= |