diff options
author | Son Ho | 2023-12-11 17:07:34 +0100 |
---|---|---|
committer | Son Ho | 2023-12-11 17:07:34 +0100 |
commit | ee669c4dbf8be12a3dd7249c645fd7092ba3e8eb (patch) | |
tree | 7c5fe4cb881b30698cfaad48ee84198aa2d0f331 /backends/coq | |
parent | c23a37617188a1bbf913b5c700522abc33bf39c9 (diff) |
Cleanup a bit
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions