diff options
Diffstat (limited to 'src')
| m--------- | src/tools/clippy | 18 |
1 files changed, 7 insertions, 11 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject cd3df6bee0ee07c7dbb562b29576a0b513a4331 +Subproject 2bcb6155948e2f8b86db08152a5f54bd5af625e |