diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2019-05-26 18:59:51 +0200 |
|---|---|---|
| committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2019-05-26 18:59:51 +0200 |
| commit | e8b09ff92b4fb75fb162d6e6025ee8ec609b7794 (patch) | |
| tree | 914e4cf8ab07493848b354f86ddda156d88a2f32 | |
| parent | dc6db14e1cd60012f25be4fd8d2eb96ea5b4bb68 (diff) | |
| download | rust-e8b09ff92b4fb75fb162d6e6025ee8ec609b7794.tar.gz rust-e8b09ff92b4fb75fb162d6e6025ee8ec609b7794.zip | |
Update clippy submodule
| m--------- | src/tools/clippy | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject a8eeb7cdb135da1cd582c6093c1739732727a4a +Subproject 46e64911ad43c519c61d22afef7f82625dd9c4a |