summaryrefslogtreecommitdiff
path: root/tests/fstar/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-03-07 12:31:18 +0100
committerSon HO2023-06-04 21:44:33 +0200
commit0d8433a5e7a2d1e91512a6422506dbd19241d128 (patch)
treebc781babc7936330da99feb4ec8ae138083cfa15 /tests/fstar/Makefile
parentbd7ef0f9d45d10b4439e125d006b2dd4319fd1c9 (diff)
Automate the generation of the lakefile.lean files
Diffstat (limited to 'tests/fstar/Makefile')
0 files changed, 0 insertions, 0 deletions