summaryrefslogtreecommitdiff
path: root/tests/fstar-split/misc/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-12-22 23:04:31 +0100
committerSon Ho2023-12-22 23:04:31 +0100
commit9a8e43df626400aacdfcb9d2cf2eec38d71d2d73 (patch)
tree2df260fb8340c64348f046c32cbb1c712a508341 /tests/fstar-split/misc/Makefile
parentd9ace7d5f1968f26b586fb712c725b2ce51086f8 (diff)
Fix minor issues
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions