diff options
Diffstat (limited to 'src/tools/clippy')
| m--------- | src/tools/clippy | 34 |
1 files changed, 18 insertions, 16 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject d4092ace00d60634bcdc22135d82e05a5397126 +Subproject bb37a0f948b02e6434dbe3ea615960052d37f78 |