diff options
| author | Ralf Jung <post@ralfj.de> | 2019-08-11 12:06:12 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2019-08-11 12:06:12 +0200 |
| commit | 09307474c28eacf0d971ef95ecab0a2186a18c3b (patch) | |
| tree | 1428322c395033cfb8410f0c5d78a5a2f72df229 /src | |
| parent | 5c77a17d182fd05f06eaf899281b2eda49047e91 (diff) | |
| download | rust-09307474c28eacf0d971ef95ecab0a2186a18c3b.tar.gz rust-09307474c28eacf0d971ef95ecab0a2186a18c3b.zip | |
update clippy
Diffstat (limited to 'src')
| m--------- | src/tools/clippy | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject b041511b5fcd386c4ae74a30b60a5081f8717fb +Subproject 72da1015d6d918fe1b29170acbf486d30e0c269 |