diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-08-14 00:48:49 +0200 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-08-14 00:48:49 +0200 |
commit | a7c5e29ba9a6364e851fd4aa0924395c59cb324e (patch) | |
tree | c1955be352de0049458f3b5bf081b9f0861b180b /coq/coq-smie.el | |
parent | 66ea13a2b855597ef8b5b648d0e8c398ac471933 (diff) |
Sort the OPTIONS menu items differently & Fix a typo (UnSet -> Unset).
Diffstat (limited to 'coq/coq-smie.el')
0 files changed, 0 insertions, 0 deletions