summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-constants/Holmakefile
diff options
context:
space:
mode:
authorNadrieril2024-05-22 18:57:19 +0200
committerGuillaume Boisseau2024-05-24 14:24:38 +0200
commit6ae8cde046530371345863f04d84be32b2a757bf (patch)
treea76277d0c6d94e2ed667d14330918ceb00dd0587 /tests/hol4/misc-constants/Holmakefile
parent6f14e8c699169aa11ea9c106f8cae1ba593569d0 (diff)
Move the subdirectory selection to the test runner
Diffstat (limited to 'tests/hol4/misc-constants/Holmakefile')
0 files changed, 0 insertions, 0 deletions