diff options
Diffstat (limited to 'developer/emir/custom.properties')
-rw-r--r-- | developer/emir/custom.properties | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/developer/emir/custom.properties b/developer/emir/custom.properties deleted file mode 100644 index e98c83c24b..0000000000 --- a/developer/emir/custom.properties +++ /dev/null @@ -1,5 +0,0 @@ -#nscArgs = -check:term;-check:transmatch;-debug;-log:transmatch -#nscArgs = -check:term;-check:transmatch;-log:transmatch -#nscArgs = -check:term;-print:transmatch -nscArgs = -check:term - |