diff options
| author | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2017-10-21 00:00:57 +0300 |
|---|---|---|
| committer | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2017-10-29 22:14:23 +0300 |
| commit | bf0cdb52f22df2eb6a510806fa32b05ab326a93e (patch) | |
| tree | 5012f67e5c6015e0b6d8db87ac257a6157aa95f9 /src/tools/toolstate.toml | |
| parent | 690ff045949ac3f3c5bd341e1584f90bc49f0596 (diff) | |
Add several lints into `unused` lint group
Remove a couple of obsolete lints
Diffstat (limited to 'src/tools/toolstate.toml')
| -rw-r--r-- | src/tools/toolstate.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/toolstate.toml b/src/tools/toolstate.toml index da4d26d78da..9dd420c1458 100644 --- a/src/tools/toolstate.toml +++ b/src/tools/toolstate.toml @@ -26,7 +26,7 @@ miri = "Broken" # ping @Manishearth @llogiq @mcarton @oli-obk -clippy = "Compiling" +clippy = "Broken" # ping @nrc rls = "Broken" |