diff options
author | Son Ho | 2024-03-11 10:19:52 +0100 |
---|---|---|
committer | Son Ho | 2024-03-11 10:19:52 +0100 |
commit | 82ccc781db0ba1df22f598ad1243fa53dc843320 (patch) | |
tree | 20396c0f4371916900bb42e72eb58a02860bcb98 /tests/coq/traits/_CoqProject | |
parent | bf0b35b9b1fa90d50587e906432077b63a9ad34d (diff) |
Simplify the generated names
Diffstat (limited to 'tests/coq/traits/_CoqProject')
0 files changed, 0 insertions, 0 deletions