summaryrefslogtreecommitdiff
path: root/tests/fstar-split/demo/Makefile
diff options
context:
space:
mode:
authorSon Ho2024-02-09 17:23:57 +0100
committerSon Ho2024-02-09 17:23:57 +0100
commitdd41ce4d968222824d36a295194a0de003d7a822 (patch)
treeab7c8d7dd3aa62e16e2cf84467da3d5fbb156711 /tests/fstar-split/demo/Makefile
parentc285a3ff4fa6e7f8de182e574a7eb6d164cbee46 (diff)
Remove a file which shouldn't have been added
Diffstat (limited to 'tests/fstar-split/demo/Makefile')
0 files changed, 0 insertions, 0 deletions