diff options
| author | Stefan Monnier | 2011-11-03 19:25:06 +0000 |
|---|---|---|
| committer | Stefan Monnier | 2011-11-03 19:25:06 +0000 |
| commit | 2df84157c7acc3601bfe889d59c3e6dc6927327f (patch) | |
| tree | 0cbbb123f2947fa0caae76e26596cca717bf1857 /pgshell | |
| parent | 1d39ef9905d4b38e4d1843974d1085209b25f354 (diff) | |
* coq.el (coq-smie-forward-token): Simplify by delegating to backward-token.
(coq-smie-backward-token): Use memq and member.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions