summaryrefslogtreecommitdiff
path: root/tests/coq/traits/Makefile
diff options
context:
space:
mode:
authorSon Ho2024-04-12 08:39:45 +0200
committerSon Ho2024-04-12 08:39:45 +0200
commit604b450a1a6d9aa364b5acbad460ec3d4d7822e4 (patch)
treea3d4c36d87c86132c80553d97ed0d19306285a49 /tests/coq/traits/Makefile
parent16c23a20072d574ec812b6059978e3a78776c1ca (diff)
parent77d74452489f85f558efe07d72d0200c80b16444 (diff)
Merge branch 'main' into checked-ops
Diffstat (limited to 'tests/coq/traits/Makefile')
0 files changed, 0 insertions, 0 deletions