summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-loops/Holmakefile
diff options
context:
space:
mode:
authorNadrieril2024-05-15 17:09:31 +0200
committerNadrieril2024-05-15 17:09:31 +0200
commitcf5dfbd549d2844ae7d491d7bfa85ba5d8f4395a (patch)
tree9a6d77aaf73a232d7c1489f1b08c12a2ec1a0977 /tests/hol4/misc-loops/Holmakefile
parentcbf425d178f9063507585233ebee7ca785567e3a (diff)
Makefile: `make check-charon` should not try to recreate the commit pin`
Diffstat (limited to 'tests/hol4/misc-loops/Holmakefile')
0 files changed, 0 insertions, 0 deletions