summaryrefslogtreecommitdiff
path: root/tests/coq/demo/Makefile
diff options
context:
space:
mode:
authorAymeric Fromherz2024-05-31 14:25:23 +0200
committerAymeric Fromherz2024-05-31 14:25:23 +0200
commit2e3d1cdfde3e19af97e0d0fa47f92cfd66c688d9 (patch)
treeabd2aa08f32c9793ea6f32c4f8e16bee7e7a796d /tests/coq/demo/Makefile
parent2257d023478cd2fe44a0ff4d67c1c5b7e3b59061 (diff)
Regenerate tests
Diffstat (limited to 'tests/coq/demo/Makefile')
0 files changed, 0 insertions, 0 deletions