summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.arclint9
1 files changed, 9 insertions, 0 deletions
diff --git a/.arclint b/.arclint
index caa72abde8..21ca5f08c0 100644
--- a/.arclint
+++ b/.arclint
@@ -14,9 +14,18 @@
},
"text": {
"type": "text",
+ "exclude": [ "(\\.xml$)" ],
"severity": {
"5": "disabled"
}
+ },
+ "text-xml": {
+ "type": "text",
+ "include": "(\\.xml$)",
+ "severity": {
+ "5": "disabled",
+ "3": "disabled"
+ }
}
}
}