diff options
| author | David Aspinall | 1998-12-11 13:30:47 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-11 13:30:47 +0000 |
| commit | 054fd4bec4830465cc0026588c72e37af9a7a664 (patch) | |
| tree | 4304b355c4cd39b9679904fae41a5ea28b7344a2 /html | |
| parent | 2560ee357dc5bbbe13f0532f42c07faa809b93b7 (diff) | |
Fixed bug where proof-activate-scripting nuked locked regions.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions