user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add several lints into unused lint group

Browse source 
Remove a couple of obsolete lints
This commit is contained in:
Vadim Petrochenkov 2017-10-21 00:00:57 +03:00
parent 690ff04594
commit bf0cdb52f2
22 changed files with 53 additions and 55 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/toolstate.toml
View file

@ -26,7 +26,7 @@
miri = "Broken"
# ping @Manishearth @llogiq @mcarton @oli-obk
clippy = "Compiling"
clippy = "Broken"
# ping @nrc
rls = "Broken"