diff options
| author | bors <bors@rust-lang.org> | 2021-07-27 03:12:40 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-07-27 03:12:40 +0000 |
| commit | 7d6bf861f8c264d3d5a023e4a20c6007d1ee9018 (patch) | |
| tree | 81df63290630445a1b337bc9615ef22f5d5272ac /compiler/rustc_mir/src/transform/coverage/debug.rs | |
| parent | c51607e0310c7ea19b093bc5cc92b296433eb5b1 (diff) | |
| parent | 23bbd65d968ef385fa7a7cd90ea8252bd78081b1 (diff) | |
| download | rust-7d6bf861f8c264d3d5a023e4a20c6007d1ee9018.tar.gz rust-7d6bf861f8c264d3d5a023e4a20c6007d1ee9018.zip | |
Auto merge of #83491 - jyn514:remove-pretty, r=pnkfelix
Remove unstable `--pretty` flag It doesn't do anything `--unpretty` doesn't, and due to a bug, also didn't show up in `--help`. I don't think there's any reason to keep it around, I haven't seen anyone using it. Closes https://github.com/rust-lang/rust/issues/36473.
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions