diff options
| author | bors <bors@rust-lang.org> | 2019-11-29 18:50:51 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-11-29 18:50:51 +0000 |
| commit | 059568faebf41fd90835eef54fecf1fc4cbc1bc2 (patch) | |
| tree | 8e7aeb8631b0a540b55c4e217e8ff15e2c7b8307 /clippy_lints/src | |
| parent | 04036877efa2c571a1563ff695141b9d7edae142 (diff) | |
| parent | d9af4482551b8e576cbbb90bb9c68fdec456b1db (diff) | |
| download | rust-059568faebf41fd90835eef54fecf1fc4cbc1bc2.tar.gz rust-059568faebf41fd90835eef54fecf1fc4cbc1bc2.zip | |
Auto merge of #4856 - lzutao:rtim-non-installed, r=flip1995
build: check if RTIM is not installed changelog: none
Diffstat (limited to 'clippy_lints/src')
0 files changed, 0 insertions, 0 deletions