diff options
| author | David Aspinall | 2009-10-15 22:44:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-10-15 22:44:01 +0000 |
| commit | f819d9dfd40516abf89b593501af52126ad767f9 (patch) | |
| tree | 3b4ac303d71d59a1ff509e5fce4090a4b2f9b5f2 /generic/proof-script.el | |
| parent | 9d16a972dc44dbb6d9035a9492e4f5c1135cedca (diff) | |
proof-script-error-face: remove underline
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions