diff options
Diffstat (limited to 'src/tools/clippy')
| m--------- | src/tools/clippy | 24 |
1 files changed, 5 insertions, 19 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 7e5e4c1e7e80ed689a49101569dde2c19753dc8 +Subproject b109e1033476390f95c728d674909ef90f0ff0c |
