diff options
| author | Jonathan Protzenko | 2023-01-31 12:46:26 -0800 |
|---|---|---|
| committer | Son HO | 2023-06-04 21:44:33 +0200 |
| commit | b30bac9e20735ab47327a2ac3122c2cfce162845 (patch) | |
| tree | 910a10ac4b18cf43b7b80fc5f84be709e3afca7f /tests/coq/misc | |
| parent | 3a67a4174e291c0b88537415c01fe2ada90e1ca0 (diff) | |
Remove last sorry in Primitives
Diffstat (limited to 'tests/coq/misc')
0 files changed, 0 insertions, 0 deletions