diff options
| author | Thomas Kleymann | 1998-05-29 13:29:03 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-05-29 13:29:03 +0000 |
| commit | ee999fc58e152094c5ac2c69fa5c80c12d755ef9 (patch) | |
| tree | 3008745e1107df388abb735b92ebef928314e079 /script-management.info | |
| parent | 262093696537f2cf3d47995a2757ae7c7b6a9006 (diff) | |
fixed a bug in `proof-goto-end-of-locked-if-pos-not-visible-in-window'
Diffstat (limited to 'script-management.info')
0 files changed, 0 insertions, 0 deletions