From 4361de9dc5e17d3ebbe8bb767710a3d48360c199 Mon Sep 17 00:00:00 2001
From: Benoit Marty <benoit@matrix.org>
Date: Thu, 27 Jul 2023 11:44:40 +0200
Subject: [PATCH] Ignore unused integer resources.

---
 libraries/androidutils/src/main/res/values/integers.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/libraries/androidutils/src/main/res/values/integers.xml b/libraries/androidutils/src/main/res/values/integers.xml
index ecbfa4cdda..2f9e641bdf 100644
--- a/libraries/androidutils/src/main/res/values/integers.xml
+++ b/libraries/androidutils/src/main/res/values/integers.xml
@@ -15,9 +15,9 @@
   ~ limitations under the License.
   -->
 
-<resources>
+<resources xmlns:tools="http://schemas.android.com/tools">
 
-    <integer name="rtl_x_multiplier">1</integer>
-    <integer name="rtl_mirror_flip">0</integer>
+    <integer name="rtl_x_multiplier" tools:ignore="UnusedResources">1</integer>
+    <integer name="rtl_mirror_flip" tools:ignore="UnusedResources">0</integer>
 
 </resources>