summaryrefslogtreecommitdiff
path: root/tests/hol4/Holmakefile.template
diff options
context:
space:
mode:
authorNadrieril2024-05-22 15:41:30 +0200
committerGuillaume Boisseau2024-05-24 14:24:38 +0200
commitad819ad9ccdf137ca87eb367810694246696b835 (patch)
tree0c623219bf3ec139ebbb2a0f08b74a65d68e343f /tests/hol4/Holmakefile.template
parentb66f7fee37bf2127e07b0865edb8fb1e039cab9e (diff)
Regroup and sort makefile test entries
Diffstat (limited to 'tests/hol4/Holmakefile.template')
0 files changed, 0 insertions, 0 deletions