From d78e1d32079f901cadf54688ed82605b33e16f7f 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 @@ - +