diff options
| author | joboet <jonasboettiger@icloud.com> | 2025-09-14 15:30:44 +0200 |
|---|---|---|
| committer | joboet <jonasboettiger@icloud.com> | 2025-09-19 11:30:27 +0200 |
| commit | 09d3120a99fee8d839e502bdb54f8117c0623c5d (patch) | |
| tree | 472cbe1b26f5bd59dfa0d7b49c42edcc9128be65 /src/tools/miri/genmc-sys/cpp/include | |
| parent | ddaf12390d3ffb7d5ba74491a48f3cd528e5d777 (diff) | |
std: simplify host lookup
Diffstat (limited to 'src/tools/miri/genmc-sys/cpp/include')
0 files changed, 0 insertions, 0 deletions