7e77f3c29f
Specifically, this revises the clippy integration to utilize a new callback to register its lints, as the prior editing of lint store in Session is no longer possible. |
||
---|---|---|
.. | ||
lintlist | ||
driver.rs | ||
lib.rs | ||
main.rs |