diff options
Diffstat (limited to 'etc/config/typescript.defaults.properties')
| -rw-r--r-- | etc/config/typescript.defaults.properties | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/etc/config/typescript.defaults.properties b/etc/config/typescript.defaults.properties deleted file mode 100644 index 28edb2581..000000000 --- a/etc/config/typescript.defaults.properties +++ /dev/null @@ -1,19 +0,0 @@ -# Default settings for TypeScript Compiler -compilers=&tsnative -compilerType=typescript -versionFlag=--version - -group.tsnative.compilers=tsc_jit_gc:tsc_jit_nogc -compiler.tsc_jit_gc.exe=/opt/compiler-explorer/tsc-0.0-pre-alpha35/bin/tsc -compiler.tsc_jit_gc.sharedlibs=/opt/compiler-explorer/tsc-0.0-pre-alpha35/lib/libTypeScriptRuntime.so -compiler.tsc_jit_gc.name=TypeScript Native Compiler JIT (GC) -compiler.tsc_jit_gc.semver=0.0.35 -compiler.tsc_jit_nogc.exe=/opt/compiler-explorer/tsc-0.0-pre-alpha35/bin/tsc -compiler.tsc_jit_nogc.sharedlibs= -compiler.tsc_jit_nogc.name=TypeScript Native Compiler JIT (No GC) -compiler.tsc_jit_nogc.semver=0.0.35 - -defaultCompiler=tsc_jit_gc -supportsBinary=false -supportsExecute=true -interpreted=true |