diff options
| author | flip1995 <hello@philkrones.com> | 2021-01-30 18:06:34 +0100 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2021-01-30 18:06:34 +0100 |
| commit | ac912be9846a69cf8f76e245911f9c55e48426db (patch) | |
| tree | 850d736f8a112f0eee7a578ac96c13c09d4b7ef6 /clippy_dev/src/ra_setup.rs | |
| parent | c18d6f1ffa683a998e9c8a3ff93f6560b2103008 (diff) | |
Merge commit '95c0459217d1661edfa794c8bb122452b92fb485' into clippyup
Diffstat (limited to 'clippy_dev/src/ra_setup.rs')
| -rw-r--r-- | clippy_dev/src/ra_setup.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/clippy_dev/src/ra_setup.rs b/clippy_dev/src/ra_setup.rs index 5f5048e79e7..a8a6a2cb1bd 100644 --- a/clippy_dev/src/ra_setup.rs +++ b/clippy_dev/src/ra_setup.rs @@ -1,5 +1,3 @@ -#![allow(clippy::filter_map)] - use std::fs; use std::fs::File; use std::io::prelude::*; |