From 5ab76eefe3d5c2416d7422f2faee8a8b68448ab8 Mon Sep 17 00:00:00 2001 From: Benoit Marty Date: Thu, 27 Jul 2023 11:42:23 +0200 Subject: [PATCH] Lint: do not ignore unused resources (except for strings) --- tools/lint/lint.xml | 15 +-------------- 1 file changed, 1 insertion(+), 14 deletions(-) diff --git a/tools/lint/lint.xml b/tools/lint/lint.xml index 914c9e7b68..7a04c735c0 100644 --- a/tools/lint/lint.xml +++ b/tools/lint/lint.xml @@ -43,24 +43,11 @@ - + - - - - - - - - - - - - -