diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2020-07-20 17:11:30 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2020-07-20 17:12:30 +0200 |
| commit | 5e11ae4fc52e749f43d334e96ba06c979fa67ef7 (patch) | |
| tree | e71fda9f3e1aca57a5fc7ac60223706d8e644546 /src/test/rustdoc-ui/coverage/doc-examples.rs | |
| parent | 71384101ea3b030b80f7def80a37f67e148518b0 (diff) | |
| download | rust-5e11ae4fc52e749f43d334e96ba06c979fa67ef7.tar.gz rust-5e11ae4fc52e749f43d334e96ba06c979fa67ef7.zip | |
ci: allow RLA to pick the right PR number
Diffstat (limited to 'src/test/rustdoc-ui/coverage/doc-examples.rs')
0 files changed, 0 insertions, 0 deletions