diff options
| author | Nicolas Koch <nioko1337@gmail.com> | 2018-05-15 15:26:11 +0200 |
|---|---|---|
| committer | Nicolas Koch <nioko1337@gmail.com> | 2018-05-15 15:26:11 +0200 |
| commit | b4b71d5d5fd8bedecbacf08ffb45c8456700151b (patch) | |
| tree | 2ada477250001a23bc2d5329ca572e15b7bf23d7 /src/tools/clippy | |
| parent | 834ef9f08ae3429a05dead80237bb4bd04769895 (diff) | |
| parent | eca0da59850d4a9eef17c0e6c3795397102d88a3 (diff) | |
| download | rust-b4b71d5d5fd8bedecbacf08ffb45c8456700151b.tar.gz rust-b4b71d5d5fd8bedecbacf08ffb45c8456700151b.zip | |
Merge branch 'master' of https://github.com/nicokoch/rust
Diffstat (limited to 'src/tools/clippy')
| m--------- | src/tools/clippy | 35 |
1 files changed, 19 insertions, 16 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 7a4c00c669b3bf0ffb24c7aa89a776cd48f1e2d +Subproject c658fc8cbcd1f199edd445a49cb43139ebdc5f0 |