diff options
Diffstat (limited to 'etc/config/d.defaults.properties')
| -rw-r--r-- | etc/config/d.defaults.properties | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/etc/config/d.defaults.properties b/etc/config/d.defaults.properties deleted file mode 100644 index 7e7888842..000000000 --- a/etc/config/d.defaults.properties +++ /dev/null @@ -1,15 +0,0 @@ -compilers=/usr/bin/gdc:/usr/bin/gdc-9 -demangler=ddemangle -supportsBinary=true -supportsBinaryObject=true -objdumper=objdump -stubRe=\bmain\b -stubText=int main(){return 0;/*stub provided by Compiler Explorer*/} -binaryHideFuncRe=^(_(?!Dmain).*)$ -includeFlag=-I - - -################################# -################################# -# Installed libs (See c++.amazon.properties for a scheme of libs group) -libs= |