diff options
| author | David Aspinall | 1998-11-18 13:33:36 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-18 13:33:36 +0000 |
| commit | 944d1d1b55868c6e2a09f17fdd49f65bee092291 (patch) | |
| tree | 5f1f2611ae13a316c94c815901283d485104387f /etc | |
| parent | db554de2757f9816a82cbf8d6eb0d83d1f519d26 (diff) | |
Bug fix and adjustments in proof-response-buffer-display
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions