diff options
| author | Alexis Bourget <alexis.bourget@gmail.com> | 2021-02-02 21:18:46 +0100 |
|---|---|---|
| committer | Alexis Bourget <alexis.bourget@gmail.com> | 2021-02-02 22:03:28 +0100 |
| commit | 360f8f8b7d0675ad74973071fea29568f79ef742 (patch) | |
| tree | 4854d1ab50e1936cc1b7d92f80792a17d7631d30 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | b81f5811f96fe750ab28c15219d1b0dba6b1dc90 (diff) | |
| download | rust-360f8f8b7d0675ad74973071fea29568f79ef742.tar.gz rust-360f8f8b7d0675ad74973071fea29568f79ef742.zip | |
Make rustdoc respect `--error-format short`
The other two (`human` and `json`) are already handled.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions