diff options
Diffstat (limited to 'src')
| m--------- | src/tools/clippy | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject b0290424bb94aaa7a6d5bc17eb6c616836da27d +Subproject 164310dd8d09dd4db4065ee569a70380e793dc7 |