diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2012-01-23 08:59:32 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2012-01-23 08:59:32 +0000 |
commit | e8eec36fa76ce261312e1f736eb8597d852a70ce (patch) | |
tree | e0ada75197a606c1f3505c31b9cf6ce80e079324 /coq/coq-indent.el | |
parent | 9be9c4a253f569add0b2bda58218186be863e908 (diff) |
make sure extra modes available
Diffstat (limited to 'coq/coq-indent.el')
0 files changed, 0 insertions, 0 deletions