diff options
author | Son Ho | 2024-04-04 11:00:23 +0200 |
---|---|---|
committer | Son Ho | 2024-04-04 11:00:23 +0200 |
commit | f58161f23ccb4bff2080a7c63105d80777c33362 (patch) | |
tree | 9cfb108c57285b0a254b71fc49f7e8d8cc5cb0b9 /tests/coq/traits/_CoqProject | |
parent | eae7ce912c8bae44f98e1d489aba5618c0029bd2 (diff) |
Update a comment
Diffstat (limited to 'tests/coq/traits/_CoqProject')
0 files changed, 0 insertions, 0 deletions