diff options
| author | lcnr <rust@lcnr.de> | 2025-09-30 15:03:40 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2025-09-30 15:03:58 +0200 |
| commit | 198777a08e74e2b7a59ed9b7a8b2561eaddc160e (patch) | |
| tree | 05429415fc5fa0ec5745d24099d51ba5a5779153 /src/tools/miri/genmc-sys/src_cpp | |
| parent | a2db9280539229a3b8a084a09886670a57bc7e9c (diff) | |
remove unnecessary test directives
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp')
0 files changed, 0 insertions, 0 deletions