diff options
| author | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2018-04-17 08:50:56 +0200 |
|---|---|---|
| committer | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2018-04-19 08:52:52 +0200 |
| commit | 0f1f9a79f29e3033e4cd8774c4b2d59a413e43b2 (patch) | |
| tree | a99dc85a6b2dca6b4b34499b60e0120195be5994 /src/tools | |
| parent | 883bf4ba2ed8c63ed2c3201576bca1ec10488624 (diff) | |
| download | rust-0f1f9a79f29e3033e4cd8774c4b2d59a413e43b2.tar.gz rust-0f1f9a79f29e3033e4cd8774c4b2d59a413e43b2.zip | |
Update clippy
Diffstat (limited to 'src/tools')
| m--------- | src/tools/clippy | 34 |
1 files changed, 18 insertions, 16 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 8ec61a613ad1278b18a4770332b6da128704fdd +Subproject c5b39a5917ffc0f1349b6e414fa3b874fdcf842 |