summaryrefslogtreecommitdiff
path: root/tests/fstar/Makefile.template
diff options
context:
space:
mode:
authorSon Ho2023-05-23 12:31:54 +0200
committerSon HO2023-06-04 21:54:38 +0200
commit057f68ea639c52c33cff36017fc3f1365503934b (patch)
treee1c85643a2e41f2403e922a09a9701b3978b8d74 /tests/fstar/Makefile.template
parent8478f91d69c3cd01ecc94d9344e4c8294097d4ee (diff)
Fix some minor issues
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions