diff options
| author | David Aspinall | 2010-09-22 00:32:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-09-22 00:32:57 +0000 |
| commit | 3d711cf80edd759f2a6def0c8a65d51e1909bc3f (patch) | |
| tree | cef41e8d035859597601160002de2b796dd90b48 /pgshell | |
| parent | fbb9e24a8ff503ad6f5ddd44fa435c5bc095d165 (diff) | |
proof-undo-and-delete-last-successful-command: repair (after
proof-retract-until-point changed type).
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions