diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2018-10-02 11:11:35 +0200 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2018-10-02 11:11:35 +0200 |
| commit | b8a67f1477b9b53827d007a0962aead4f35453a0 (patch) | |
| tree | f9acc892f7679c7abc162aacd1997cc24f8dd25f | |
| parent | e812ca472a2a5284e9f15cd9af32285d7ff3fd39 (diff) | |
Update clippy
| m--------- | src/tools/clippy | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject a72e786c5d8866d554effd246c30fb553b63fa0 +Subproject e69fe2fb19b7b2f3b07fe1178c536810dabf896 |