diff options
| author | Philipp Krones <hello@philkrones.com> | 2023-11-02 17:01:56 +0100 |
|---|---|---|
| committer | Philipp Krones <hello@philkrones.com> | 2023-11-02 17:24:19 +0100 |
| commit | 95dc7be92f8087ae3c8b9532f2674dabceee3d4d (patch) | |
| tree | ef0c270a62fecc20762256ced06e1a8db9ccb74c /clippy_dev/src/main.rs | |
| parent | 2e907aa90c67d73fadc9be54c6609f618045c10c (diff) | |
| parent | 01a0a3666681b88c3cab5ffc440bdd74352093dd (diff) | |
Merge remote-tracking branch 'upstream/master' into rustup
Diffstat (limited to 'clippy_dev/src/main.rs')
| -rw-r--r-- | clippy_dev/src/main.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/clippy_dev/src/main.rs b/clippy_dev/src/main.rs index fca750fafc7..5bd9994e18d 100644 --- a/clippy_dev/src/main.rs +++ b/clippy_dev/src/main.rs @@ -199,7 +199,6 @@ fn get_clap_config() -> ArgMatches { "cargo", "nursery", "internal", - "internal_warn", ]), Arg::new("type").long("type").help("What directory the lint belongs in"), Arg::new("msrv") |