diff options
| author | Paul Steckler | 2018-01-26 14:39:26 -0500 |
|---|---|---|
| committer | Paul Steckler | 2018-01-26 14:39:26 -0500 |
| commit | d672652f4acb78b83403b080665e6c56e00f4feb (patch) | |
| tree | 7d3182309bd1f3a07504b2a628ad662f9cc3f73e /generic/proof-shell.el | |
| parent | 8762209b3b7aeeaee52d11624eef2a676392c72a (diff) | |
look for vernac controls before focus bracket, fix for #223
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions