diff --git a/lint.xml b/lint.xml index ba57de04c80757cedc85b0e3514c47afc86dd8ee..2b089b6b16a14285e4ede8a5fc107214285fec6c 100644 --- a/lint.xml +++ b/lint.xml @@ -27,6 +27,7 @@ <issue id="ResourceType" severity="ignore" /> <issue id="UnusedResources" severity="ignore" /> <issue id="ObsoleteLintCustomCheck" severity="ignore" /> + <issue id="UnusedAttribute" severity="informational" /> <!-- Because this doesn’t work when using splash themes --> <issue id="Overdraw" severity="ignore" />