diff options
| author | David Aspinall | 2008-01-29 19:56:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-29 19:56:23 +0000 |
| commit | e39908c5e5126623ace0e9615b74e692ce9dc00d (patch) | |
| tree | 8f7caccd7cc47bb7973e42980f6ae4e79843f411 /pgshell | |
| parent | f84d4b753fb95e865fe4f55940d341f13ad9f849 (diff) | |
Set proof-shell-trace-output-regexp early enough to have effect. Fixes trac #183, #186. See #190
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions