diff options
author | Aymeric Fromherz | 2024-05-31 14:19:46 +0200 |
---|---|---|
committer | Aymeric Fromherz | 2024-05-31 14:19:46 +0200 |
commit | 2257d023478cd2fe44a0ff4d67c1c5b7e3b59061 (patch) | |
tree | 29f77459e2b0e59450098a9d7f05472a242bcd10 /tests/coq/misc/Makefile | |
parent | e2afa2a24b290a55451431373152bf5a26c78d24 (diff) |
Add missing reverse when collapsing environment
Diffstat (limited to 'tests/coq/misc/Makefile')
0 files changed, 0 insertions, 0 deletions