]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #2654 from killercup/feature/lint-groups-in-docs
authorOliver Schneider <oli-obk@users.noreply.github.com>
Tue, 10 Apr 2018 11:09:27 +0000 (13:09 +0200)
committerGitHub <noreply@github.com>
Tue, 10 Apr 2018 11:09:27 +0000 (13:09 +0200)
Show/Filter by lint groups in docs


Trivial merge