diff options
| author | Santo Cariotti <santo@dcariotti.me> | 2021-11-03 18:01:27 +0100 |
|---|---|---|
| committer | Santo Cariotti <santo@dcariotti.me> | 2021-11-03 18:01:27 +0100 |
| commit | 436de412e740056ba33fb540f78dd43d29d0ec6b (patch) | |
| tree | 7dabff50c5382f8d3eff9b2e9788af753364108f /git | |
| parent | 70173c466a3745535a1c198a9994b73c96ec4248 (diff) | |
use coq instead of cmp
Diffstat (limited to 'git')
0 files changed, 0 insertions, 0 deletions