bors 06430e7af4 Auto merge of #4363 - phansch:fix_lint_deprecation, r=flip1995 ...

Update lint deprecation for tool lints

changelog: Allow tool lints (`clippy::*`) to be deprecated

Our lint deprecation previously didn't work for tool lints, because
`register_removed` was registering lints to be removed _without_ the
`clippy` prefix.

Fixes #4349

2019-08-14 11:37:10 +00:00

..

auxiliary

Remove all copyright license headers

2019-01-08 21:46:39 +01:00

ui

Auto merge of #4363 - phansch:fix_lint_deprecation, r=flip1995

2019-08-14 11:37:10 +00:00

ui-toml

Update ui-toml tests

2019-08-14 09:58:00 +02:00

compile-test.rs

cargo fmt

2019-06-21 16:47:34 +02:00

dogfood.rs

Disable dogfood on windows for faster build time on travis

2019-07-14 15:21:50 +02:00

fmt.rs

Enable rustfmt tests

2019-07-28 06:45:23 +02:00

matches.rs

Remove all copyright license headers

2019-01-08 21:46:39 +01:00

missing-test-files.rs

cargo fmt

2019-06-21 16:47:34 +02:00

needless_continue_helpers.rs

Remove all copyright license headers

2019-01-08 21:46:39 +01:00

versioncheck.rs

test(versioncheck): Use .no_deps()

2019-01-25 21:53:44 +01:00