diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-01 21:43:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-01 21:43:42 +0000 |
| commit | 8de05b130ecb7aa6cd16ac73ac069968297b3ebd (patch) | |
| tree | baa4d7753f9704ca221d71feca7770d2319fc6ea /coq/coq-unicode-tokens.el | |
| parent | 3f95d71bd40bf03e232aa9078efab369cd6a8344 (diff) | |
Remove (commented out) x-symbol configuration
Diffstat (limited to 'coq/coq-unicode-tokens.el')
0 files changed, 0 insertions, 0 deletions