summaryrefslogtreecommitdiff
path: root/tests/hol4
diff options
context:
space:
mode:
authorSon Ho2024-06-04 13:17:26 +0200
committerSon Ho2024-06-04 13:17:26 +0200
commitaa847c5ea1cfc1695b95d91cd10e3dc5bace4c33 (patch)
tree13e5b57471287700909676abcd8ef4829df97618 /tests/hol4
parent90a1c44c1be56e81c17373723d5098e2cfa48a37 (diff)
Do more cleanup
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions