diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-04-21 00:30:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-21 00:30:58 +0200 |
| commit | 9a0e7029062fb74a71a200b1f7ce0c212c9ea3a6 (patch) | |
| tree | 7460d5414cb1ed93377e6effe1f8d724c8c4d7dd /src/test/rustdoc-ui/coverage/traits.rs | |
| parent | 42b533d7ba92dbc6ab3b6de59bae44f629b93d66 (diff) | |
| parent | 9296d3ba8247ac292226ba19fefc6d577f2d5dfd (diff) | |
| download | rust-9a0e7029062fb74a71a200b1f7ce0c212c9ea3a6.tar.gz rust-9a0e7029062fb74a71a200b1f7ce0c212c9ea3a6.zip | |
Rollup merge of #71346 - mati865:rustbuild-tools, r=Mark-Simulacrum
Do not build tools if user do not want them Fixes https://github.com/rust-lang/rust/issues/71307
Diffstat (limited to 'src/test/rustdoc-ui/coverage/traits.rs')
0 files changed, 0 insertions, 0 deletions