]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: fe3f75f 13b474d)
Merge pull request #7936 from thestinger/cleanup
authorDaniel Micay <danielmicay@gmail.com>
Mon, 22 Jul 2013 03:04:15 +0000 (20:04 -0700)
committerDaniel Micay <danielmicay@gmail.com>
Mon, 22 Jul 2013 03:04:15 +0000 (20:04 -0700)
rm obsolete no-op lints

1  2 
src/librustc/middle/lint.rs patch | diff1 | diff2 | blob | history

diff --cc src/librustc/middle/lint.rs
Simple merge
Empowering everyone to build reliable and efficient software.