rust-clippy/clippy_dev
Philipp Hansch 5114050839
Update lint deprecation for tool lints
Our lint deprecation previously didn't work for tool lints, because
`register_removed` was registering lints to be removed _without_ the
`clippy` prefix.
2019-08-12 19:20:36 +02:00
..
src Update lint deprecation for tool lints 2019-08-12 19:20:36 +02:00
Cargo.toml Add dev fmt subcommand 2019-07-07 15:11:33 +02:00