diff options
| author | Escherichia | 2024-04-05 14:44:17 +0200 |
|---|---|---|
| committer | Escherichia | 2024-04-05 14:44:17 +0200 |
| commit | 3a470ec6661a494631a12594989126804aeb044d (patch) | |
| tree | 2fc5087eb7077521fd6358cbfe3f90947b97a478 /tests/coq | |
| parent | 760e8374533bd7e13059e18c223428baab4535ea (diff) | |
Resolved comments and added the name of the not translated element
Diffstat (limited to 'tests/coq')
0 files changed, 0 insertions, 0 deletions