summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-external
diff options
context:
space:
mode:
authorSon Ho2023-11-24 17:29:08 +0100
committerSon Ho2023-11-24 17:29:08 +0100
commit4d5d2a8628cfb002267be9a13982aa4ef24a2651 (patch)
treef96605e1ef10352b03c6e9e0eed52b66a8411607 /tests/hol4/misc-external
parentfeb10e653131716698205f0b77b9623cdd1712b0 (diff)
Make a minor fix
Diffstat (limited to 'tests/hol4/misc-external')
0 files changed, 0 insertions, 0 deletions