From 3dda01a08ae5ab378b16e548e1704646fe8ab50e Mon Sep 17 00:00:00 2001 From: Benoit Marty Date: Thu, 27 Jul 2023 11:54:51 +0200 Subject: [PATCH] lint: remove unknown rule. --- tools/lint/lint.xml | 1 - 1 file changed, 1 deletion(-) diff --git a/tools/lint/lint.xml b/tools/lint/lint.xml index 7a04c735c0..fc775eb730 100644 --- a/tools/lint/lint.xml +++ b/tools/lint/lint.xml @@ -68,7 +68,6 @@ -