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