diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2012-06-19 16:04:49 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2012-06-19 16:04:49 +0000 |
| commit | de7919ddc8ca3b365667061c10ff5f3442418bfa (patch) | |
| tree | ef232e53e8540bf7fe64263aa8892fc97c1e9346 /coq/coq-smie-lexer.el | |
| parent | be7deda997084f2fdd1f39db25da1e93d6ca1579 (diff) | |
Simplified file variables code.
Diffstat (limited to 'coq/coq-smie-lexer.el')
0 files changed, 0 insertions, 0 deletions