summaryrefslogtreecommitdiff
path: root/tests/coq/misc/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-03-07 10:00:50 +0100
committerSon HO2023-06-04 21:44:33 +0200
commit13174c0e585181308a947f5b354c4f1393d91f14 (patch)
tree23225065f24406c1ddf59d1c932cd47775fa2575 /tests/coq/misc/Makefile
parent1d33206096d019d4593fd11e4257b0d786666d87 (diff)
Make minor modifications
Diffstat (limited to 'tests/coq/misc/Makefile')
0 files changed, 0 insertions, 0 deletions