diff options
| author | David Aspinall | 2004-04-02 16:45:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-02 16:45:58 +0000 |
| commit | f4f8a304d04b850d4b265c1fb0b2765ceedf8cc4 (patch) | |
| tree | 2ef6c5663eb8be13efe37ca2c2cd45b650c204c3 /pgshell | |
| parent | c98ae8dae09def0967426dc6def6252ea455993c (diff) | |
Use proof-shell-wait; comments.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions