diff options
| author | David Aspinall | 2001-09-03 10:26:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-03 10:26:03 +0000 |
| commit | 9a0ae04cd85af0eeb0a6a0019c9335d4c0e36220 (patch) | |
| tree | 4400797a314d691a82b6f51e7281e475a8eb9313 /FAQ | |
| parent | 35983c1e651953067970ab20c00341ca456cbdb4 (diff) | |
Added handling of tracing buffers using proof-shell-spill-output-regexp.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions