diff options
Diffstat (limited to 'tools/nimgrep.nim.cfg')
| -rw-r--r-- | tools/nimgrep.nim.cfg | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/nimgrep.nim.cfg b/tools/nimgrep.nim.cfg deleted file mode 100644 index 6d0ea5aad..000000000 --- a/tools/nimgrep.nim.cfg +++ /dev/null @@ -1,5 +0,0 @@ -# The GC is stable enough now: - -#--gc:none - - |