diff options
| author | David Aspinall | 2007-12-14 10:38:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-14 10:38:55 +0000 |
| commit | a8e8ffa54ac578e5657853bd163c5b09a313f178 (patch) | |
| tree | 45c798555c2f7ccbc8a744ef56ca88cf06cbba17 /pgshell | |
| parent | f60e5be1803cd30f9030a1a432d8a64561882f35 (diff) | |
Use proof-shell-unicode to control whether bytes 128-255 are stripped from output.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions