diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2017-10-29 05:27:34 -0400 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2017-10-29 05:27:36 -0400 |
| commit | 84f1fc951dc0b80334d36e27ca408cb56c028e02 (patch) | |
| tree | 5e4f239f52ba9a71c1b3cf5211975edda09e4654 /src/tools/clippy | |
| parent | b2df63b3935b892f6d90c21ae272acfd29e7971c (diff) | |
Update clippy
Diffstat (limited to 'src/tools/clippy')
| m--------- | src/tools/clippy | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 281bd790de7b992831a1ff8a589c0fc38c842c9 +Subproject f76225e3887170743403af9204887918b5db5a8 |