From 05edd59b0548f6ab043cb58a0d6b8b41022f18f8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Mart=C3=AD?= <mvdan@mvdan.cc>
Date: Mon, 17 Mar 2014 09:39:52 +0100
Subject: [PATCH] Ignore UnusedResources on default_repo.xml

We iterate over them programmatically, so lint thinks we don't use them
---
 lint.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lint.xml b/lint.xml
index 6401ff7f9..d8c98cba9 100644
--- a/lint.xml
+++ b/lint.xml
@@ -5,4 +5,7 @@
         <ignore path="res/values/no_trans.xml" />
         <ignore path="res/values/default_repo.xml" />
     </issue>
+    <issue id="UnusedResources" severity="ignore" >
+        <ignore path="res/values/default_repo.xml" />
+    </issue>
 </lint>