From 526927640dd85686a2a67a27eb3f98fed0a61b3f Mon Sep 17 00:00:00 2001
From: Janne Koschinski <janne@kuschku.de>
Date: Sun, 13 Jan 2019 17:22:54 +0100
Subject: [PATCH] Fix lint by ignoring unimportant issues

---
 lint.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lint.xml b/lint.xml
index ba57de04c..2b089b6b1 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" />
-- 
GitLab