summaryrefslogtreecommitdiff
path: root/tests/hol4/Holmakefile.template
diff options
context:
space:
mode:
authorSon Ho2023-10-25 11:40:31 +0200
committerSon Ho2023-10-25 11:40:31 +0200
commitece74df70f12790bab7ecfe0c590c2c637e89801 (patch)
treedaee3bda9d393c33942b8cdcb6a7d975ad275f05 /tests/hol4/Holmakefile.template
parent9c230dddebb171ee1b3e0176838441163836b875 (diff)
Update following the addition of raw pointers
Diffstat (limited to 'tests/hol4/Holmakefile.template')
0 files changed, 0 insertions, 0 deletions