diff options
Diffstat (limited to 'src')
| m--------- | src/tools/clippy | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject dc69a5c0b610df452217291db1a0ebc4f76401e +Subproject c3e913650e9850ccbb605ddc0d1a612fa70947d |