diff options
| author | Jieyou Xu <jieyouxu@outlook.com> | 2025-05-27 20:08:14 +0800 |
|---|---|---|
| committer | Jieyou Xu <jieyouxu@outlook.com> | 2025-05-27 20:44:47 +0800 |
| commit | d43c2e7448920a8803625c7922b8c28c2c365c04 (patch) | |
| tree | 2b3e44101cec3abeebeb93437eb010d9138e71f2 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | d76fe154029e03aeb64af721beafdcef856d576a (diff) | |
| download | rust-d43c2e7448920a8803625c7922b8c28c2c365c04.tar.gz rust-d43c2e7448920a8803625c7922b8c28c2c365c04.zip | |
distcheck: document what distcheck is intended to exercise
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions