diff options
Diffstat (limited to 'src')
| m--------- | src/tools/clippy | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject ea85b4c7fb9826f72bd4ab743a703a34c75a40f +Subproject 07f1736390e1d4dd88cf9fae4ab7737ee5e086b |