diff options
author | Pierre Courtieu <Matafou@users.noreply.github.com> | 2018-01-30 14:28:25 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-30 14:28:25 +0100 |
commit | 945cada601c5729edd16fcc989a3969c8b34d20a (patch) | |
tree | 7d3182309bd1f3a07504b2a628ad662f9cc3f73e /coq/coq-syntax.el | |
parent | 8762209b3b7aeeaee52d11624eef2a676392c72a (diff) | |
parent | d672652f4acb78b83403b080665e6c56e00f4feb (diff) |
Merge pull request #224 from psteckler/fix-233
Look for vernac controls before focus bracket, possible fix for #223
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions