summaryrefslogtreecommitdiff
path: root/tests/coq/_CoqProject.template
diff options
context:
space:
mode:
authorSon Ho2024-06-04 13:17:26 +0200
committerSon Ho2024-06-04 13:17:26 +0200
commitaa847c5ea1cfc1695b95d91cd10e3dc5bace4c33 (patch)
tree13e5b57471287700909676abcd8ef4829df97618 /tests/coq/_CoqProject.template
parent90a1c44c1be56e81c17373723d5098e2cfa48a37 (diff)
Do more cleanup
Diffstat (limited to 'tests/coq/_CoqProject.template')
0 files changed, 0 insertions, 0 deletions