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