diff options
| author | David Aspinall | 2009-09-08 12:47:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-08 12:47:40 +0000 |
| commit | 1de72490a9a9fcfbe9cb88cc10d4d18728a54d04 (patch) | |
| tree | 9c815bea8ea4ba0ef6bb304a592d36bd83fef631 /plastic/test.lf | |
| parent | 17aa1542b6733a6bf7f7f869877860c1d377498b (diff) | |
pg-response-display-with-face: remove update of `proof-shell-last-output'
Diffstat (limited to 'plastic/test.lf')
0 files changed, 0 insertions, 0 deletions