diff options
| author | erikwastaken <46598911+erikwastaken@users.noreply.github.com> | 2023-05-23 12:34:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-23 12:34:12 +0200 |
| commit | 2cbeeae5da0b5c3d8c50d1dd522f900a1f86b8fa (patch) | |
| tree | b94506a7fe919e511077e602c87862dc1ebd12f4 /docs/src/html.rs | |
| parent | 5400570efa13d24519e321474f41ebda5cc4cbc7 (diff) | |
CLI option for emitting diagnostics in a unix-style short format (#1176)
Diffstat (limited to 'docs/src/html.rs')
0 files changed, 0 insertions, 0 deletions