diff options
Diffstat (limited to '.arclint')
| -rw-r--r-- | .arclint | 24 | 
1 files changed, 0 insertions, 24 deletions
diff --git a/.arclint b/.arclint deleted file mode 100644 index 01f217d7..00000000 --- a/.arclint +++ /dev/null @@ -1,24 +0,0 @@ -{ -  "linters": { -    "filename": { -      "type": "filename" -    }, -    "generated": { -      "type": "generated" -    }, -    "merge-conflict": { -      "type": "merge-conflict" -    }, -    "nolint": { -      "type": "nolint" -    }, -    "haskell": { -      "type": "text", -      "include": ["(\\.(l?hs(-boot)?|x|y\\.pp)(\\.in)?$)"], -      "severity": { -        "5": "disabled", -        "2": "warning" -      } -    } -  } -}  | 
