diff options
| author | David Aspinall | 2011-01-23 10:48:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-23 10:48:31 +0000 |
| commit | 3091827b9cf921758ae8bb1fafc3b3a7368a923c (patch) | |
| tree | 9122045b2bf06fc3ab00e55ef5d47f19e4d138d9 /pgshell | |
| parent | f06ce66b5297ea8ef4186c7a35866d0af1cb71de (diff) | |
proof-protected-process-or-retract: don't give failure error if nothing to do
Addresses Trac #383
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions