diff options
author | Son Ho | 2023-11-15 22:06:58 +0100 |
---|---|---|
committer | Son Ho | 2023-11-15 22:06:58 +0100 |
commit | 15f13494becbb3cf4afe8fee51b5cef50f807b52 (patch) | |
tree | 18fa1099bb8ab94a81fc41e8de6ca54965c7755b /tests/coq/misc/Primitives.v | |
parent | 21e3b719f2338f4d4a65c91edc0eb83d0b22393e (diff) |
Do more cleanup
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions