diff options
| author | David Aspinall | 2006-05-11 12:35:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-05-11 12:35:30 +0000 |
| commit | 06cfab8601ccb810795ea3a7439c795c81a24c89 (patch) | |
| tree | b9d26af6d40639d39c2cb39f740802468887914d /lib | |
| parent | c20b6035fee8969195c53350a24b038cc76cc482 (diff) | |
Note about proof-shell-unicode setting.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions