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
..
fmt.rs	Deprecate util/dev in favor of cargo alias	2020-01-30 21:34:31 +01:00
lib.rs	Mark clippy_project_root as must_use	2020-01-31 07:32:53 +01:00
main.rs	Deprecate util/dev in favor of cargo alias	2020-01-30 21:34:31 +01:00
new_lint.rs	Replace one more copy-pasted clippy_project_root fn	2020-01-31 07:30:44 +01:00
stderr_length_check.rs	Decrease line length limit for stderr files	2020-01-30 12:08:38 +09:00