diff options
| author | David Aspinall | 1998-10-22 11:47:08 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-22 11:47:08 +0000 |
| commit | 6609c499550edf6a7bb102765d7b14ed72bcf2db (patch) | |
| tree | 66406523a4b7899804899b79ad2b5e3a8c149b93 /generic | |
| parent | 4c7b52e0016fd7e316a436067b8ea319a1952f8d (diff) | |
Only load theory for script file if no locked region yet
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions