diff options
Diffstat (limited to 'etc/config/nim.defaults.properties')
| -rw-r--r-- | etc/config/nim.defaults.properties | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/etc/config/nim.defaults.properties b/etc/config/nim.defaults.properties deleted file mode 100644 index a6ba56d43..000000000 --- a/etc/config/nim.defaults.properties +++ /dev/null @@ -1,6 +0,0 @@ -compilers=/usr/bin/nim -supportsBinary=true -demangler=c++filt -objdumper=objdump -compilerType=nim -binaryHideFuncRe=^(__.*|_(init|start|fini)|(de)?register_tm_clones|call_gmon_start|frame_dummy|.plt.*|.*@plt|_dl_relocate_static_pie)$ |