diff options
| author | David Aspinall | 2004-04-17 14:42:59 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-17 14:42:59 +0000 |
| commit | 8dea6d5420724c85e935e227854d9ae4c19ededa (patch) | |
| tree | 2f8adce332e16f880d6565051ddc19c6b0b497e6 /bugs | |
| parent | 18d5bdb4e852efe0338d793ba99a2b7ee34e08c7 (diff) | |
Lighter background colour for proof-error-face
Diffstat (limited to 'bugs')
0 files changed, 0 insertions, 0 deletions