diff options
| author | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2017-11-16 09:35:53 +0100 |
|---|---|---|
| committer | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2017-11-16 09:35:53 +0100 |
| commit | 20eb27ed92a11d41f00f27311cf1f6c19f0f540d (patch) | |
| tree | 6f8c39a05cf9a726c3f22a7bee01864a171c7ca4 /src/tools/clippy | |
| parent | 1410d5604042b739f02f9ec0f2a6c5125c797d52 (diff) | |
| download | rust-20eb27ed92a11d41f00f27311cf1f6c19f0f540d.tar.gz rust-20eb27ed92a11d41f00f27311cf1f6c19f0f540d.zip | |
Reenable Clippy
Diffstat (limited to 'src/tools/clippy')
| m--------- | src/tools/clippy | 25 |
1 files changed, 7 insertions, 18 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 1f6e2a63d89e485df6a3ee9df3e8ffbfddf2633 +Subproject 0155ecf6b077bf8d5b333662059d78533e5b2ac |