diff options
| author |  Jason Gross <jasongross9@gmail.com> | 2016-03-03 20:34:35 -0500 |
|---|---|---|
| committer |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-04 10:52:21 +0100 |
| commit | 78b5670a0a1cf7ba31acabe710b311bf13df8745 (patch) | |
| tree | 15dbf5c820380e82d126bdd82007845fa12a97ad /checker | |
| parent | 7461aaedef508570fba6334e18fd10d5b32bda0e (diff) | |
Fix a typo in dev/doc/changes.txt
CQQ -> COQ
Diffstat (limited to 'checker')
0 files changed, 0 insertions, 0 deletions