From d2535cdb7e51884e6d9a5c61c2d71c59f7c73a1c Mon Sep 17 00:00:00 2001 From: SpiritCroc Date: Fri, 2 Aug 2024 20:27:17 +0200 Subject: [PATCH] [merge] Suppress lint Change-Id: I7310fb496c9c9764cb0f6f62b5f1ef80f78f323d --- tools/lint/lint.xml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tools/lint/lint.xml b/tools/lint/lint.xml index 1cb3b8d442..b6ff466a0f 100644 --- a/tools/lint/lint.xml +++ b/tools/lint/lint.xml @@ -115,4 +115,7 @@ + + +