diff options
Diffstat (limited to 'src/tools')
| m--------- | src/tools/clippy | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 60a609acaed3bf2b3ec6ab995bccf0f03bc2606 +Subproject a8eeb7cdb135da1cd582c6093c1739732727a4a |