diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-06-23 18:33:56 -0400 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-06-23 18:34:49 -0400 |
| commit | 9274e7448d85e682addb84440bded3800760ae14 (patch) | |
| tree | b6f3b56c85f596de7ac33926e747f555d8001ffe /coq/coq-syntax.el | |
| parent | 3fb4147ad760df79d54ffa046ac94e6a5581daeb (diff) | |
Fix a typo
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions