diff options
| author | bors <bors@rust-lang.org> | 2019-03-08 07:36:32 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-03-08 07:36:32 +0000 |
| commit | 9702b3d2c0905b6975a0e6a9ce25c55f95eba65e (patch) | |
| tree | e0732ae70d0c7c3c8e34c4fc64cc40ab1b43037f /clippy_lints/src/utils | |
| parent | 90d43500557d4745f5ea76f9e0e7cff9c6ef9b51 (diff) | |
| parent | acd6d4d09433c558ffbb9524a5aeb3b4f6465352 (diff) | |
Auto merge of #3856 - mikerite:clippy-dev-enchancement-1, r=phansch
Improve Clippy dev help + Print help if no subcommand is supplied + Make a short version of `update_lints` help for the subcommand listing
Diffstat (limited to 'clippy_lints/src/utils')
0 files changed, 0 insertions, 0 deletions