summaryrefslogtreecommitdiff
path: root/tests/hol4
diff options
context:
space:
mode:
authorSon Ho2023-05-09 08:06:40 +0200
committerSon HO2023-06-04 21:44:33 +0200
commit12dcc49c3199dcd1b2acf4a650a9adc375781306 (patch)
tree565890e5ffc7a9c4b3f21ef88f7c681062a8a231 /tests/hol4
parent4aabab31bc2f897a6696f798cac2203916024509 (diff)
Make minor modifications
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions