summaryrefslogtreecommitdiff
path: root/tests/coq/traits/_CoqProject
diff options
context:
space:
mode:
authorSon Ho2023-11-15 22:06:58 +0100
committerSon Ho2023-11-15 22:06:58 +0100
commit15f13494becbb3cf4afe8fee51b5cef50f807b52 (patch)
tree18fa1099bb8ab94a81fc41e8de6ca54965c7755b /tests/coq/traits/_CoqProject
parent21e3b719f2338f4d4a65c91edc0eb83d0b22393e (diff)
Do more cleanup
Diffstat (limited to 'tests/coq/traits/_CoqProject')
0 files changed, 0 insertions, 0 deletions