diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2019-04-29 22:37:00 -0700 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2019-04-29 22:37:00 -0700 |
| commit | 382e350f50d608e4d04d2481fc5f70434cb20bc7 (patch) | |
| tree | 55d4581afef13ad17736ef3b108f62f754f11ef7 | |
| parent | f843ad60ef5a78d8b4da85c5007d3ecac229f1a8 (diff) | |
Update clippy
| m--------- | src/tools/clippy | 20 |
1 files changed, 8 insertions, 12 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject f1eda09ea135c06e32ab34332ad25155e314731 +Subproject d0ff1a585f8bda16edf9023d83a6e19f24ddd11 |