diff options
| author | Stefan Monnier | 2014-06-03 02:51:24 +0000 |
|---|---|---|
| committer | Stefan Monnier | 2014-06-03 02:51:24 +0000 |
| commit | 67f4332c9e802a0d272ac0670515d98d16cfebb4 (patch) | |
| tree | 5194cf6085f03a400b521a8806039099b304a166 /lib | |
| parent | 2ddd31c9984044e16a5bf5e1745fe9d33f8255a4 (diff) | |
Rename coq-smie-lexer.el to coq-smie.el.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions