diff options
| author | David Aspinall | 2010-08-11 17:15:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-11 17:15:34 +0000 |
| commit | e53cf3da5fdd2ebc9f4e4b287acb7bc5eb99372b (patch) | |
| tree | 80ade2d1c8c26c665ba40a7e3e6b87a12af94569 /generic/proof-shell.el | |
| parent | 5d64d1f3bfb7694cbb6b0e7f4f7ba7e93b2cbf2a (diff) | |
only run custom font-lock-fontify-syntactically-region on PG buffers
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions