1 files changed, 0 insertions, 45 deletions
diff --git a/etc/config/gimple.defaults.properties b/etc/config/gimple.defaults.properties
deleted file mode 100644
index 55e1bec0a..000000000
--- a/etc/config/gimple.defaults.properties
+++ /dev/null
@@ -1,45 +0,0 @@
-# Default settings for GIMPLE
-compilers=&gcc
-defaultCompiler=gimplegdefault
-demangler=c++filt
-objdumper=objdump
-postProcess=
-supportsBinary=true
-supportsBinaryObject=true
-binaryHideFuncRe=^(__.*|_(init|start|fini)|(de)?register_tm_clones|call_gmon_start|frame_dummy|\.plt.*)$
-stubRe=\bmain\b
-stubText=int main(void){return 0;/*stub provided by Compiler Explorer*/}
-supportsLibraryCodeFilter=true
-
-group.gcc.compilers=gimpleg9:gimpleg10:gimpleg11:gimplegdefault
-group.gcc.compilerType=gimple
-compiler.gimpleg9.exe=/usr/bin/gcc-9
-compiler.gimpleg9.name=gcc 9.x
-compiler.gimpleg10.exe=/usr/bin/gcc-10
-compiler.gimpleg10.name=gcc 10.x
-compiler.gimpleg11.exe=/usr/bin/gcc-11
-compiler.gimpleg11.name=gcc 11.x
-compiler.gimplegdefault.exe=/usr/bin/gcc
-compiler.gimplegdefault.name=gcc default
-
-tools=readelf:nm:llvmdwarfdumpdefault
-
-tools.readelf.name=readelf (default)
-tools.readelf.exe=/usr/bin/readelf
-tools.readelf.type=postcompilation
-tools.readelf.class=readelf-tool
-tools.readelf.exclude=djggp
-tools.readelf.stdinHint=disabled
-
-tools.nm.name=nm (default)
-tools.nm.exe=/usr/bin/nm
-tools.nm.type=postcompilation
-tools.nm.class=nm-tool
-tools.nm.exclude=djggp
-tools.nm.stdinHint=disabled
-
-tools.llvmdwarfdumpdefault.exe=/usr/bin/llvm-dwarfdump
-tools.llvmdwarfdumpdefault.name=llvm-dwarfdump (default)
-tools.llvmdwarfdumpdefault.type=postcompilation
-tools.llvmdwarfdumpdefault.class=llvm-dwarfdump-tool
-tools.llvmdwarfdumpdefault.stdinHint=disabled