From 8101e3d39333bb80757228b604e1e825a062b1e0 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Sat, 21 Oct 2023 18:55:59 +0200 Subject: Update the readme --- readme.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/readme.md b/readme.md index bc27ddb..c5b60ef 100644 --- a/readme.md +++ b/readme.md @@ -32,7 +32,7 @@ results will be printed in the standard output: { level = Warn; loc = Lines 13-15; message = "Possible dead end (unmatched path)" } ] - Found 0 error(s), 3 warning(s) + Found 0 error(s), 2 warning(s) ## Checks provided -- cgit v1.2.3