aboutsummaryrefslogtreecommitdiff
path: root/generic
diff options
context:
space:
mode:
authorStefan Monnier2014-06-03 02:51:24 +0000
committerStefan Monnier2014-06-03 02:51:24 +0000
commit67f4332c9e802a0d272ac0670515d98d16cfebb4 (patch)
tree5194cf6085f03a400b521a8806039099b304a166 /generic
parent2ddd31c9984044e16a5bf5e1745fe9d33f8255a4 (diff)
Rename coq-smie-lexer.el to coq-smie.el.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions