]> git.lizzy.rs Git - rust.git/commit
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)
commitfc058191818e4440d36e5ed4ef61bc0a9711be11
treea054079f9eaaebfbb195fa05fc61be6716b60348
parentfe3f75ff8e2a7e750713295f5fa17a4abf9d9d62
parent13b474dcbb2dd7bc58286f8b7a40bb83117e1b03
Merge pull request #7936 from thestinger/cleanup

rm obsolete no-op lints
src/librustc/middle/lint.rs