diff options
Diffstat (limited to 'src/tools')
| m--------- | src/tools/clippy | 23 |
1 files changed, 16 insertions, 7 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject b4f1769734b6204fc6bece8556b7b80a7683271 +Subproject 60e8413a4e5b7c67001176783893b12411ce355 |