diff options
| author | David Aspinall | 2000-09-29 17:23:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-29 17:23:50 +0000 |
| commit | b88e60df1c96180660c1311454d4cd933fc6e8b7 (patch) | |
| tree | 325e4ee353aaae28747d02c9667d95fb60cd0b64 /FAQ | |
| parent | 0371ed89d98822dfd030b893ec63692958f73f4f (diff) | |
Default for proof-comment-end that doesn't cause looping in searching for comment end.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions