diff options
Diffstat (limited to 'src/tools/clippy')
| m--------- | src/tools/clippy | 24 |
1 files changed, 15 insertions, 9 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 58e01ea4d7df69e658c034afbfa6d0abd90808e +Subproject 157edad6205fdd6a4f5932fba2675c619074635 |