summaryrefslogtreecommitdiff
path: root/tests/coq/traits/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-11-16 10:57:08 +0100
committerSon Ho2023-11-16 10:57:08 +0100
commit0757cdee8c6b8a8020d4b96a44a3017944c9a808 (patch)
tree87888b311cef249f0477be2447f6edfa708c5253 /tests/coq/traits/Makefile
parent9ab6a034aaadacac62d241474af3cf28bf6ac928 (diff)
Do more cleanup
Diffstat (limited to 'tests/coq/traits/Makefile')
0 files changed, 0 insertions, 0 deletions