diff options
| author | Nadrieril | 2024-05-22 18:57:19 +0200 |
|---|---|---|
| committer | Guillaume Boisseau | 2024-05-24 14:24:38 +0200 |
| commit | 6ae8cde046530371345863f04d84be32b2a757bf (patch) | |
| tree | a76277d0c6d94e2ed667d14330918ceb00dd0587 /tests/hol4/misc-no_nested_borrows/Holmakefile | |
| parent | 6f14e8c699169aa11ea9c106f8cae1ba593569d0 (diff) | |
Move the subdirectory selection to the test runner
Diffstat (limited to 'tests/hol4/misc-no_nested_borrows/Holmakefile')
0 files changed, 0 insertions, 0 deletions