diff options
| author | Makarius Wenzel | 2005-09-14 19:11:44 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-14 19:11:44 +0000 |
| commit | 6d6a2b2577a7c0f9deb7fdee64855c151b0ec625 (patch) | |
| tree | 4421b92ecdc52d80051da189e03e3197b44c1166 /isa/interface | |
| parent | ec46295d48cc9037d04053217465dffe93af7eb2 (diff) | |
refer to proof-shell-unicode for process-environment and coding-system;
Diffstat (limited to 'isa/interface')
0 files changed, 0 insertions, 0 deletions