diff options
| author | Oliver Schneider <github35764891676564198441@oli-obk.de> | 2018-07-16 15:09:04 +0200 |
|---|---|---|
| committer | Oliver Schneider <github35764891676564198441@oli-obk.de> | 2018-07-16 15:43:53 +0200 |
| commit | c692816eaf927fae0247866eb704c99a757932fd (patch) | |
| tree | bbe1058df25d63314381a102a232ec3de95ff706 | |
| parent | 5cd68d5a263f79d805f5630bf6106bc550b9806b (diff) | |
| download | rust-c692816eaf927fae0247866eb704c99a757932fd.tar.gz rust-c692816eaf927fae0247866eb704c99a757932fd.zip | |
Update the clippy submodule
| m--------- | src/tools/clippy | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 5e085e43104f6748a9717bb78de8b634712638b +Subproject 8f61a792f4f54f24adf9a8cb7824bfdb259c50e |