diff options
| author | David Aspinall | 2000-06-05 13:48:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-05 13:48:47 +0000 |
| commit | 47fef0c2fd5b0a8e09ef5d4b4508347b4828dd3c (patch) | |
| tree | d231ea24415c2c16816f246c3e71e0e1afb9039d /doc | |
| parent | 1c967ab75b67f75a5993926117b6ee29a715f627 (diff) | |
proof-clean-buffer: clear next error flag if buffer is response.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions