diff options
author | 2016-03-03 20:34:35 -0500 | |
---|---|---|
committer | 2016-03-04 10:52:21 +0100 | |
commit | 78b5670a0a1cf7ba31acabe710b311bf13df8745 (patch) | |
tree | 15dbf5c820380e82d126bdd82007845fa12a97ad /kernel/type_errors.ml | |
parent | 7461aaedef508570fba6334e18fd10d5b32bda0e (diff) |
Fix a typo in dev/doc/changes.txt
CQQ -> COQ
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions