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

…