diff options
| author | Oliver Schneider <github35764891676564198441@oli-obk.de> | 2018-07-21 12:36:18 +0200 |
|---|---|---|
| committer | Oliver Schneider <github35764891676564198441@oli-obk.de> | 2018-07-21 12:36:18 +0200 |
| commit | 2f7edccb036ee4c6a63664b622d9355ef594979f (patch) | |
| tree | 04d123b861bbf51b8143b7cb44f3e56af1f48ec3 /src/tools | |
| parent | d3c1e2fb7c3d74098efaf4399f50907e82693450 (diff) | |
| download | rust-2f7edccb036ee4c6a63664b622d9355ef594979f.tar.gz rust-2f7edccb036ee4c6a63664b622d9355ef594979f.zip | |
Don't invent new magic keywords
Diffstat (limited to 'src/tools')
| m--------- | src/tools/clippy | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/tools/clippy b/src/tools/clippy -Subproject 2fa85d86e0cbd5fc0c17d1cbcca2005454b86cd +Subproject 8085ed733fefeaf37aca0a39da93344326de5d5 |