diff options
author | bors <bors@rust-lang.org> | 2018-11-21 20:26:15 +0000 |
---|---|---|
committer | bors <bors@rust-lang.org> | 2018-11-21 20:26:15 +0000 |
commit | 0b9f19dff1347e29bf4362ab5a8fab84b43023b5 (patch) | |
tree | 02a147b1c3f4b882fd77ec3cda8be55ef1bfb6c0 /.gitmodules | |
parent | 910ec6d97ff03549c22352d7763be02b60d73470 (diff) | |
parent | 33efce1c2f280848a84b94f99ea1bc874e189a37 (diff) | |
download | rust-0b9f19dff1347e29bf4362ab5a8fab84b43023b5.tar.gz |
Auto merge of #56134 - oli-obk:clippy_documentation, r=nrc
Forward rust version number to tools
Clippy uses it to identify the correct documentation to point to
cc @Manishearth @nrc
sibling PR in clippy: https://github.com/rust-lang-nursery/rust-clippy/pull/3442
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions