diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-06-01 09:57:52 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-06-01 09:57:52 +0200 |
commit | 4441ce2d578633815bef4647711da8363ea68d85 (patch) | |
tree | 8ddc7b297e9947174a2c2586f4960559cc287243 /coq/coq-syntax.el | |
parent | 31dda92a0bf190fd526e0a6d9502c197bdd08eb1 (diff) |
Fixed a typo in previous commits.
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions