diff options
-rw-r--r-- | .arclint | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/.arclint b/.arclint deleted file mode 100644 index 4e5eb9ddcf..0000000000 --- a/.arclint +++ /dev/null @@ -1,8 +0,0 @@ -{ - "linters": { - "everything": { - "type": "xml", - "include": "(\\.xml$)" - } - } -} |