diff options
| author | Mara Bos <m-ou.se@m-ou.se> | 2020-11-30 22:11:29 +0100 |
|---|---|---|
| committer | Mara Bos <m-ou.se@m-ou.se> | 2020-12-31 19:06:09 +0100 |
| commit | c574ded57da4c7c631b836c397f31d2a72dc1280 (patch) | |
| tree | 2e0966db60bf795aeb4ab97310ee7974b0c3600b /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | f16ef7d7ce0357d63435201ae51e2c0a6916e07d (diff) | |
| download | rust-c574ded57da4c7c631b836c397f31d2a72dc1280.tar.gz rust-c574ded57da4c7c631b836c397f31d2a72dc1280.zip | |
Consistently call editions "Rust 20xx" in messages.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions