From 9870fd13b63920e4e0cd2396253d10ac145a0d88 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Fri, 1 Aug 2014 23:13:39 -0400
Subject: [PATCH] ignore TrulyRandom lint warnings, fdroid already includes the
 fix

PRNGFixes.apply() is run in FDroidApp.onCreate().  This is enough,
according to Google, and their instructions say to disable this lint
warning once the workaround is included since lint cannot detech whether
the workaround is applied.

This the code format was also automatically corrected by the Eclipse plugin
---
 lint.xml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/lint.xml b/lint.xml
index d8c98cba9..6e7f54486 100644
--- a/lint.xml
+++ b/lint.xml
@@ -1,11 +1,12 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <lint>
     <!-- Remove severity="ignore" to see the missing translations -->
-    <issue id="MissingTranslation" severity="ignore" >
+    <issue id="MissingTranslation" severity="ignore">
         <ignore path="res/values/no_trans.xml" />
         <ignore path="res/values/default_repo.xml" />
     </issue>
-    <issue id="UnusedResources" severity="ignore" >
+    <issue id="TrulyRandom" severity="ignore" />
+    <issue id="UnusedResources" severity="ignore">
         <ignore path="res/values/default_repo.xml" />
     </issue>
-</lint>
+</lint>
\ No newline at end of file