aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
diff options
context:
space:
mode:
authorGravatar Stefan Monnier <monnier@iro.umontreal.ca>2014-06-06 17:23:03 +0000
committerGravatar Stefan Monnier <monnier@iro.umontreal.ca>2014-06-06 17:23:03 +0000
commitb9c06ced8e899854d06314b52d0182e123775afc (patch)
tree588fbaf256bcdcb8b8b7d889ed34538f8f7083f4 /generic
parent1c0b0d32f95d7555943ab86a2de6666e39e84c13 (diff)
* coq/coq-smie.el: Fix precedence of 'else'.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions