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