diff options
| author | David Aspinall | 2004-04-02 16:44:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-02 16:44:02 +0000 |
| commit | a68442f575952cbd7a46a81f8c8b5383d3cc653d (patch) | |
| tree | a8255b3f5215da0bc0f319ec6af64750c0c7768e /pgshell | |
| parent | 5235cfdf400896c6a8497243f0ba4d1a3bb97aa0 (diff) | |
Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to startup.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions