diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2007-11-04 16:00:10 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2007-11-04 16:00:10 +0000 |
| commit | 6948d6713f6a4934eb116ec7338653ec1f5593ab (patch) | |
| tree | 240c40dc4eb9e62ddf1223fa9b0193125c83f5da /README | |
| parent | 5e22972c4f1a0fead3d3b8a24a5f2606ff333b85 (diff) | |
defconst proof-warning-face -- as expected by GNU Emacs;
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions