summaryrefslogtreecommitdiff
path: root/tests/hol4/Holmakefile.template
diff options
context:
space:
mode:
authorSon Ho2024-02-03 00:00:36 +0100
committerSon Ho2024-02-03 00:00:36 +0100
commit9cc912e2414870df85ffc4dd346ade5dba2b5c37 (patch)
tree1d8290e4b947e431c3d8d3a9f8575f23c3afe5e1 /tests/hol4/Holmakefile.template
parent3157013edd4d0e70a5c6fb8a5b236043865adbe0 (diff)
Fix minor issues
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions