diff options
| author | David Aspinall | 2009-11-28 11:10:26 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-11-28 11:10:26 +0000 |
| commit | fd3910268ea87eaa19166d48668029b3f30c6fcc (patch) | |
| tree | d83592b05cf2d06e7a31b2f8a5a8857cbd37c824 /pgshell | |
| parent | ff9be7e74c268604f9d65095ca6f8630eec08ec2 (diff) | |
Add `proof-script-sticky-error-face' and `proof-script-highlight-error-face'.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions