summaryrefslogtreecommitdiff
path: root/tests/hol4/Makefile
diff options
context:
space:
mode:
authorSon Ho2024-03-08 08:03:48 +0100
committerSon Ho2024-03-08 08:03:48 +0100
commitf74647773d7dd21580fd938dd9b4e300719b0234 (patch)
tree397fa643ef5d372b65cada410937c0030002a340 /tests/hol4/Makefile
parente1e888f23935bfb34830fe160593e09df75a7f20 (diff)
Regenerate the test files
Diffstat (limited to 'tests/hol4/Makefile')
0 files changed, 0 insertions, 0 deletions