diff options
Diffstat (limited to 'etc/config/toit.defaults.properties')
| -rw-r--r-- | etc/config/toit.defaults.properties | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/etc/config/toit.defaults.properties b/etc/config/toit.defaults.properties deleted file mode 100644 index bd8ace543..000000000 --- a/etc/config/toit.defaults.properties +++ /dev/null @@ -1,9 +0,0 @@ -compilers=/usr/bin/toit - -supportsBinary=false -supportsExecute=true -interpreted=true -compilerType=toit -versionFlag=version -disasmScript= -intelAsm=-mllvm -x86-asm-syntax=intel |