diff options
Diffstat (limited to 'src/tools/clippy')
| m--------- | src/tools/clippy | 32 |
1 files changed, 14 insertions, 18 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 648e5b90b49af483d07caa8e413473a4517853d +Subproject cbedd97b3a58023eff365a2fa74700d06115144 |