diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2024-02-09 17:00:37 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2024-02-11 23:15:50 +0100 |
| commit | 79241b8a4e511a4e59761477c0bdffea24bd7201 (patch) | |
| tree | f82c2d58d295ca9a07dca71d468c7c2cf19e1d95 /src/tools/miri/genmc-sys/src_cpp | |
| parent | 0b2402fdfcf0f126abb3c2f2ce11fd8ac79f5c38 (diff) | |
| download | rust-79241b8a4e511a4e59761477c0bdffea24bd7201.tar.gz rust-79241b8a4e511a4e59761477c0bdffea24bd7201.zip | |
Update tests to use `config.toml` instead
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp')
0 files changed, 0 insertions, 0 deletions