From 9e557039a44555b731c8cfc9741fb4f4dd80db17 Mon Sep 17 00:00:00 2001 From: Benoit Marty Date: Thu, 27 Jul 2023 11:55:49 +0200 Subject: [PATCH] lint: ImpliedQuantity is now error. --- tools/lint/lint.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/lint/lint.xml b/tools/lint/lint.xml index fc775eb730..db1a20701c 100644 --- a/tools/lint/lint.xml +++ b/tools/lint/lint.xml @@ -25,7 +25,7 @@ - +