From bcb7e5a7c45bba5e3875bca8c1707e4db7979f9f Mon Sep 17 00:00:00 2001 From: Benoit Marty Date: Mon, 27 Mar 2023 14:39:30 +0200 Subject: [PATCH] [Strings] Ignore unused strings --- tools/lint/lint.xml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/lint/lint.xml b/tools/lint/lint.xml index 79902caa49..914c9e7b68 100644 --- a/tools/lint/lint.xml +++ b/tools/lint/lint.xml @@ -44,6 +44,8 @@ + +