summaryrefslogtreecommitdiff
path: root/tests/coq/betree/_CoqProject
diff options
context:
space:
mode:
authorSon Ho2023-11-09 11:43:47 +0100
committerSon Ho2023-11-09 11:43:47 +0100
commitc57dec640d4e12c3dc66969d626bbbca2eb733fd (patch)
treeaba417f93cbf501fa5b8edcbe41d41966f244a58 /tests/coq/betree/_CoqProject
parent9754c65c76cc48f9d3feab410dfe18273ae08c05 (diff)
Modify some options and update the Makefile
Diffstat (limited to 'tests/coq/betree/_CoqProject')
0 files changed, 0 insertions, 0 deletions