diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-06-23 10:30:04 +0200 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-06-23 10:30:04 +0200 |
| commit | 4b4397e185cee54052819ad63bef3ecd56ba4512 (patch) | |
| tree | 4812511b49ee1f4ac0402e6074dfd92b69298f5f /ide/coqOps.ml | |
| parent | 7ae226092719b26f71b675d6ceb211801349bc00 (diff) | |
Fix typo.
Diffstat (limited to 'ide/coqOps.ml')
0 files changed, 0 insertions, 0 deletions