diff options
| author | bors <bors@rust-lang.org> | 2020-01-31 07:18:06 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-01-31 07:18:06 +0000 |
| commit | ca2abaf3667771ed5d7ab602792d472b032ca445 (patch) | |
| tree | cc833ad4c8a38a38dd0bfe4eb4dd3f7ee69263a1 /src | |
| parent | 8e9089e454b04b8bad5ed6678050f1cc290a74b3 (diff) | |
| parent | 8f457fa4c99c39ec5c2428922d6f7cc3fec84f59 (diff) | |
| download | rust-ca2abaf3667771ed5d7ab602792d472b032ca445.tar.gz rust-ca2abaf3667771ed5d7ab602792d472b032ca445.zip | |
Auto merge of #5109 - phansch:ciao_util_dev, r=flip1995
Deprecate util/dev in favor of cargo alias This means one less shell script and a bit more cross-platform support for contributors. If you've been using `./util/dev` before, this now becomes `cargo dev`. The key part of this change is found in `.cargo/config` where an alias for calling the `clippy_dev` binary is defined. changelog: none
Diffstat (limited to 'src')
| -rw-r--r-- | src/lintlist/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lintlist/mod.rs b/src/lintlist/mod.rs index 0c5b8146b13..3edde70a27f 100644 --- a/src/lintlist/mod.rs +++ b/src/lintlist/mod.rs @@ -1,4 +1,4 @@ -//! This file is managed by `util/dev update_lints`. Do not edit. +//! This file is managed by `cargo dev update_lints`. Do not edit. pub mod lint; pub use lint::Level; |