diff options
Diffstat (limited to 'src')
| m--------- | src/tools/clippy | 20 |
1 files changed, 8 insertions, 12 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 8485d40a3264b15b92d391e99cb3d1abf8f2502 +Subproject 23549a8c362a403026432f65a6cb398cb10d44b |