diff options
| author | David Aspinall | 2011-01-23 14:12:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-23 14:12:39 +0000 |
| commit | e322521a3ea64344ed17feac5a6a961ba81db910 (patch) | |
| tree | 97e92d20c390da76f78af99cf826bb4a9f0c79dc /pgshell/example.pgsh | |
| parent | fbfeb817505ce1e43939eb54e200599ff57e4916 (diff) | |
proof-shell-exit: mention quit command and quit timeout in doc
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions