summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorSanto Cariotti <santo@dcariotti.me>2021-11-03 18:01:27 +0100
committerSanto Cariotti <santo@dcariotti.me>2021-11-03 18:01:27 +0100
commit436de412e740056ba33fb540f78dd43d29d0ec6b (patch)
tree7dabff50c5382f8d3eff9b2e9788af753364108f /config
parent70173c466a3745535a1c198a9994b73c96ec4248 (diff)
use coq instead of cmp
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions