diff options
| author | Sander Saares <sander@saares.eu> | 2024-07-09 10:28:11 +0300 |
|---|---|---|
| committer | Sander Saares <sander@saares.eu> | 2024-07-09 10:28:11 +0300 |
| commit | a04dbb0ab9fd79cba5faaa2cf8e03082b2831387 (patch) | |
| tree | 94c224d198f806f98dbf5c2d464cd39c465761b4 /src/tools/miri/genmc-sys/src_cpp | |
| parent | a067cd24ace399be139578aeb0b3137785a79eb7 (diff) | |
| download | rust-a04dbb0ab9fd79cba5faaa2cf8e03082b2831387.tar.gz rust-a04dbb0ab9fd79cba5faaa2cf8e03082b2831387.zip | |
Tidy the example code and ensure it builds as standalone snippets
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp')
0 files changed, 0 insertions, 0 deletions