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 fc24fce73f878e641094b1802df1e748c5fe233 +Subproject f7bdf500d93895b6c02f8ae6a73002207f85e52 |