diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2015-03-27 10:14:32 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2015-03-27 10:14:32 +0000 |
| commit | fe158afe291c2ad5786bc592fff134ef277ef86d (patch) | |
| tree | e3cc647956217875ebd51213c10207d53b710d64 /coq/coq-smie.el | |
| parent | 9d6766d2f20362240ebfe284e0dbd97fb25504a0 (diff) | |
Fix disable evar colorizing in coq file.
Diffstat (limited to 'coq/coq-smie.el')
0 files changed, 0 insertions, 0 deletions