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