diff options
| author | David Aspinall | 2008-01-15 17:02:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-15 17:02:56 +0000 |
| commit | 67339095b04148446667b4e62d1f0a0d30d7095b (patch) | |
| tree | b092c6c3cbddda8da5f77151a9d590944f1f6511 /FAQ | |
| parent | 2f4863d97c0fb93a56b838e4a99564101597a81f (diff) | |
Fix cleaning minibuffer echo of urgent messages when proof-shell-unicode is set. Cleanup comments.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions