diff options
Diffstat (limited to 'src/tools')
| m--------- | src/tools/clippy | 19 |
1 files changed, 7 insertions, 12 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 3bda548f81bc268a2e9813ce9168d2e40e8a11b +Subproject 32ee306acbf87de1d7723e95e99c0e5e56e5374 |