diff options
Diffstat (limited to 'src')
| m--------- | src/tools/clippy | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject b2601beb35b56fd33bd387a1faeccd3ae02352e +Subproject 29bf75cd3147d4e34a5e70bd167898a8105f7e5 |