diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-04-05 15:34:19 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-04-05 15:34:19 +0000 |
commit | 4de2228bd7f39bdce86035fdbc69703f228e9f02 (patch) | |
tree | a1827cea460d1dacbe698c781deb43122a5f809a /generic/proof-indent.el | |
parent | 539ae4d2e40c362a46c090032076c8ad77d7b0ea (diff) |
Add proof-indent-pad-eol for prettifying colouring in XEmacs
Diffstat (limited to 'generic/proof-indent.el')
0 files changed, 0 insertions, 0 deletions