Merge commit '95c0459217d1661edfa794c8bb122452b92fb485' into clippyup

2021-01-30 18:06:34 +01:00
parent c18d6f1ffa
commit ac912be984
114 changed files with 6061 additions and 454 deletions
--- a/clippy_dev/src/lib.rs
+++ b/clippy_dev/src/lib.rs
@@ -12,6 +12,7 @@ use walkdir::WalkDir;

 pub mod bless;
 pub mod fmt;
+pub mod lintcheck;
 pub mod new_lint;
 pub mod ra_setup;
 pub mod serve;