aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq.el
diff options
context:
space:
mode:
authorGravatar Stefan Monnier <monnier@iro.umontreal.ca>2012-06-08 13:00:47 +0000
committerGravatar Stefan Monnier <monnier@iro.umontreal.ca>2012-06-08 13:00:47 +0000
commit43493a243f3099e38c39a52cafa801aa4d716a94 (patch)
tree2f0ffd0678519cc88d10ddd86a31b9caa8a8c5e9 /coq/coq.el
parent7ecdbfb869b5e9d6cd75c610ef125823b3727071 (diff)
Summary: Handle the new t value of which-func-modes.
Diffstat (limited to 'coq/coq.el')
0 files changed, 0 insertions, 0 deletions