diff options
| -rw-r--r-- | clippy_dev/src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clippy_dev/src/main.rs b/clippy_dev/src/main.rs index 807e4a1b9af..288fb7c58b4 100644 --- a/clippy_dev/src/main.rs +++ b/clippy_dev/src/main.rs @@ -22,7 +22,7 @@ fn main() { .about("Makes sure that:\n \ * the lint count in README.md is correct\n \ * the changelog contains markdown link references at the bottom\n \ - * all lints groups include the correct lints\n \ + * all lint groups include the correct lints\n \ * lint modules in `clippy_lints/*` are visible in `src/lib.rs` via `pub mod`\n \ * all lints are registered in the lint store") .arg( |