aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChimrod <>2023-10-21 18:55:59 +0200
committerChimrod <>2023-10-21 18:56:20 +0200
commit8101e3d39333bb80757228b604e1e825a062b1e0 (patch)
tree5291dad88b092625d92f96d4e4b882986ca6bd74
parent234ce9447f15f02daf1f8f08d7beb80bdc65c323 (diff)
Update the readme
-rw-r--r--readme.md2
1 files changed, 1 insertions, 1 deletions
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