summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-constants/Holmakefile
diff options
context:
space:
mode:
authorSon Ho2024-04-04 15:57:12 +0200
committerSon Ho2024-04-04 15:57:12 +0200
commit77208249c717579d1014f27592566069b8cd0eb2 (patch)
tree048e4edac80c560e256bbb7cd38d8a7ab975ea45 /tests/hol4/misc-constants/Holmakefile
parenta882e28134dc6c44e7a2b5b82eb42041e9a1f342 (diff)
Fix a minor issue
Diffstat (limited to 'tests/hol4/misc-constants/Holmakefile')
0 files changed, 0 insertions, 0 deletions