diff options
author | Chimrod <> | 2023-10-21 18:55:59 +0200 |
---|---|---|
committer | Chimrod <> | 2023-10-21 18:56:20 +0200 |
commit | 8101e3d39333bb80757228b604e1e825a062b1e0 (patch) | |
tree | 5291dad88b092625d92f96d4e4b882986ca6bd74 | |
parent | 234ce9447f15f02daf1f8f08d7beb80bdc65c323 (diff) |
Update the readme
-rw-r--r-- | readme.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |