diff options
| author | David Aspinall | 2004-04-26 14:40:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-26 14:40:57 +0000 |
| commit | 46f1aac56ac61e8b76e4ce6a57ff36806582a8b4 (patch) | |
| tree | 0d0a5625bf3fd2bd06097e8e4a391740d24df8ea /FAQ | |
| parent | 8b698fd0e35fd0d1b9e297445d0906eddd279ef5 (diff) | |
Allow proof-goto-end-of-locked to work again if no active scripting buffer.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions