diff options
Diffstat (limited to 'src')
| m--------- | src/tools/clippy | 43 |
1 files changed, 10 insertions, 33 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 5a11ed7b92cc4cf40a4568a8fc1ff54b198c333 +Subproject 8c80b65f10213c6e5f4c6d8113e8f8c9477af56 |