diff options
| author | David Aspinall | 2009-09-07 20:44:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-07 20:44:33 +0000 |
| commit | e8db898e3a480f9425dc50e8fbd890448df39ec9 (patch) | |
| tree | a4773e62a1354f4870f65937f6697c467967a930 /pgshell | |
| parent | 5492bc751b140106e59c60e7499f1a43fd5ca045 (diff) | |
Fix proof-shell-trace-output-regexp: match on annotation \^AI now too
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions