diff options
| author | Joshua Nelson <jyn514@gmail.com> | 2021-03-25 15:48:21 -0400 |
|---|---|---|
| committer | Joshua Nelson <jyn514@gmail.com> | 2021-04-23 09:58:34 -0400 |
| commit | 23bbd65d968ef385fa7a7cd90ea8252bd78081b1 (patch) | |
| tree | e2044f67757951f57492ed4bcb347380f10734da /compiler/rustc_mir/src/transform/coverage/debug.rs | |
| parent | 7f4afdf0255600306bf67432da722c7b5d2cbf82 (diff) | |
| download | rust-23bbd65d968ef385fa7a7cd90ea8252bd78081b1.tar.gz rust-23bbd65d968ef385fa7a7cd90ea8252bd78081b1.zip | |
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.
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions