diff options
author | Son Ho | 2024-03-18 02:05:58 +0100 |
---|---|---|
committer | Son Ho | 2024-03-18 02:05:58 +0100 |
commit | 5a1317e51a5854699befb3b470bc346551b1691a (patch) | |
tree | dace8d3ad93e90612e18b72fad0bbbb0e603649a /tests/coq/demo/_CoqProject | |
parent | d0b3cd8a2fb6a55ff910fde4476c0ae4417b810d (diff) |
Regenerate the test files
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions