From c0c80919f77f121bd1f3d32280efe9deac747fd4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Mart=C3=AD?= <mvdan@mvdan.cc>
Date: Tue, 31 Mar 2015 17:22:36 +0200
Subject: [PATCH] tools:replace no longer needed to make gradle work

---
 F-Droid/AndroidManifest.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/F-Droid/AndroidManifest.xml b/F-Droid/AndroidManifest.xml
index ba447d80e..83ab75774 100644
--- a/F-Droid/AndroidManifest.xml
+++ b/F-Droid/AndroidManifest.xml
@@ -65,7 +65,6 @@
         android:allowBackup="true"
         android:theme="@style/AppThemeDark"
         android:supportsRtl="true"
-        tools:replace="theme, icon, label"
         >
 
         <provider