Add .arclint file

Signed-off-by: Austin Seipp <austin@well-typed.com>

1 files changed, 19 insertions, 0 deletions

diff --git a/.arclint b/.arclint
new file mode 100644
index 0000000000..db6299db3e
--- /dev/null
+++ b/.arclint
@@ -0,0 +1,19 @@
+{
+  "linters": {
+    "filename": {
+      "type": "filename"
+    },
+    "generated": {
+      "type": "generated"
+    },
+    "merge-conflict": {
+      "type": "merge-conflict"
+    },
+    "nolint": {
+      "type": "nolint"
+    },
+    "text": {
+      "type": "text"
+    }
+  }
+}