diff options
| author | bors <bors@rust-lang.org> | 2022-12-28 17:01:52 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-12-28 17:01:52 +0000 |
| commit | be3ed4fdcd646a8f27669a2f3e9a5ac5fa552d32 (patch) | |
| tree | b923c60919a16a2edfe7660a3aff0482bb4182bc /src/test/rustdoc-ui/coverage/json.rs | |
| parent | fba3d79df09780a9529db09086810759f6dc60ad (diff) | |
| parent | dfe18984373ae112071baf48608b44f3f7e524fc (diff) | |
| download | rust-be3ed4fdcd646a8f27669a2f3e9a5ac5fa552d32.tar.gz rust-be3ed4fdcd646a8f27669a2f3e9a5ac5fa552d32.zip | |
Auto merge of #2744 - RalfJung:json, r=RalfJung
support using a JSON target file Fixes https://github.com/rust-lang/miri/issues/2053
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions