summaryrefslogtreecommitdiff
path: root/tests/fstar/betree/Makefile
diff options
context:
space:
mode:
authorSon Ho2024-03-08 16:08:39 +0100
committerSon Ho2024-03-08 16:08:39 +0100
commit78734dc530ee209b5a0946e82bf98b97e374bed0 (patch)
tree12e97f758cb769c9d7ddd02a4e23ff6112884601 /tests/fstar/betree/Makefile
parentfe2a2cb34148e46e32cdcfbf100e38d9986082cd (diff)
Update the Makefile and remove the split files for F*
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions