bors ca2abaf366 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		2020-01-31 07:18:06 +00:00
..
src	Auto merge of #5109 - phansch:ciao_util_dev, r=flip1995	2020-01-31 07:18:06 +00:00
Cargo.toml	Enable deny-warnings feature everywhere in CI	2019-11-25 17:23:48 +01:00