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
..
auxiliary
ui	Auto merge of #5108 - JohnTitor:split-up-0130, r=flip1995	2020-01-30 21:06:47 +00:00
ui-toml	add size parameter for lint	2020-01-25 18:06:52 +03:00
compile-test.rs	Fix lint warning in compile-test.rs	2020-01-12 19:54:17 +08:00
dogfood.rs
fmt.rs	Deprecate util/dev in favor of cargo alias	2020-01-30 21:34:31 +01:00
integration.rs	do minor cleanups	2019-12-24 03:06:52 +07:00
matches.rs	Rustup to https://github.com/rust-lang/rust/pull/67853	2020-01-04 11:30:03 +01:00
missing-test-files.rs
needless_continue_helpers.rs
versioncheck.rs