diff options
| author | David Aspinall | 2009-09-21 12:04:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-21 12:04:47 +0000 |
| commit | 4dcbdcc74ba47bf8851310d1b608ca12d378bdce (patch) | |
| tree | e99d918ad952a8846cdf77413e499266e7511b6a /TAGS | |
| parent | aeae558ba0ce6b60024382c458074a5778000a8d (diff) | |
Repair some of proof visibility handling
pg-last-output-displayform: protect against single \n in last output
Diffstat (limited to 'TAGS')
0 files changed, 0 insertions, 0 deletions