diff options
| author | Xiretza <xiretza@xiretza.xyz> | 2022-12-28 23:21:04 +0100 |
|---|---|---|
| committer | Xiretza <xiretza@xiretza.xyz> | 2023-02-01 21:56:28 +0100 |
| commit | 0d0d36991599d230d4781432391608f9821765fa (patch) | |
| tree | 9c43880852c0a5bf7654766a9994d83a122d7fb9 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | a476683c8478f548adee406e036328412a0f9d19 (diff) | |
| download | rust-0d0d36991599d230d4781432391608f9821765fa.tar.gz rust-0d0d36991599d230d4781432391608f9821765fa.zip | |
Make "use latest edition" subdiagnostic translatable
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions