diff options
| author | David Aspinall | 2011-06-03 22:13:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-06-03 22:13:41 +0000 |
| commit | fbac314fdc1307367f1c2f7b86a5b668a613aaa6 (patch) | |
| tree | 7e7bd9191e297beaa734708930a2846de6271e85 /pgshell/example.pgsh | |
| parent | 8ae8f403a1a62d353652d45a001c260f7e93a992 (diff) | |
proof-undo-and-delete-last-successful-command: obey spec (Trac #407)
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions