diff options
author | Son Ho | 2024-06-04 13:17:26 +0200 |
---|---|---|
committer | Son Ho | 2024-06-04 13:17:26 +0200 |
commit | aa847c5ea1cfc1695b95d91cd10e3dc5bace4c33 (patch) | |
tree | 13e5b57471287700909676abcd8ef4829df97618 /tests/coq/demo | |
parent | 90a1c44c1be56e81c17373723d5098e2cfa48a37 (diff) |
Do more cleanup
Diffstat (limited to 'tests/coq/demo')
0 files changed, 0 insertions, 0 deletions