diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 14:02:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 14:02:15 +0000 |
| commit | 99d21e5c443ddbd1e773f1ef4baf2e9a6fe7b78c (patch) | |
| tree | 52ac691dd1899895e3605cbfcb53988044aab784 /generic/proof-useropts.el | |
| parent | 594f3c0e21e9064bce8bb04750d7595cfefae705 (diff) | |
Remove use-specials-for-fontify
Diffstat (limited to 'generic/proof-useropts.el')
0 files changed, 0 insertions, 0 deletions