diff options
Diffstat (limited to 'src/tools/clippy')
| m--------- | src/tools/clippy | 24 |
1 files changed, 5 insertions, 19 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 32b1d1fc157f71ed2f10b60fe28abe087a74361 +Subproject 9d3373137b74a403281b293b19ab9346773af07 |