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