Merge commit '0e87918536b9833bbc6c683d1f9d51ee2bf03ef1' into clippyup

2021-03-25 19:29:11 +01:00
parent e06731bb28
commit 9f6b5de7de
412 changed files with 5715 additions and 2849 deletions
--- a/clippy_dev/src/lib.rs
+++ b/clippy_dev/src/lib.rs
@@ -12,8 +12,8 @@ use walkdir::WalkDir;

 pub mod bless;
 pub mod fmt;
+pub mod ide_setup;
 pub mod new_lint;
-pub mod ra_setup;
 pub mod serve;
 pub mod stderr_length_check;
 pub mod update_lints;