diff options
| author | Oliver Schneider <github35764891676564198441@oli-obk.de> | 2018-07-03 10:53:32 +0200 |
|---|---|---|
| committer | Oliver Schneider <github35764891676564198441@oli-obk.de> | 2018-07-05 13:42:12 +0200 |
| commit | d5dbeda9efea4692a19885687dd3994272a07f53 (patch) | |
| tree | 8b6773ffdc3eeba9b553632ea44d27d5375fdc8e | |
| parent | 860d169474acabdc53b9a698f8ce02eba7e0daeb (diff) | |
| download | rust-d5dbeda9efea4692a19885687dd3994272a07f53.tar.gz rust-d5dbeda9efea4692a19885687dd3994272a07f53.zip | |
Update the clippy submodule
| m--------- | src/tools/clippy | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 141f79f8440229f705f47f06c47b46a44d65584 +Subproject 28daee4c919dd88772847ec5240eb850bb0dcbf |