summaryrefslogtreecommitdiff
path: root/tests/fstar/Makefile.template
diff options
context:
space:
mode:
authorSon Ho2024-01-25 11:52:54 +0100
committerSon Ho2024-01-25 11:52:54 +0100
commitda9a2fb410bde569fea11a4c1507f98ab4250e41 (patch)
tree742a5784c7a4c05308392236e374404ce7b1ebf4 /tests/fstar/Makefile.template
parent5851f26eda59997fca971fa67bc9b6062f398871 (diff)
Make a minor modification
Diffstat (limited to 'tests/fstar/Makefile.template')
0 files changed, 0 insertions, 0 deletions