diff options
| author | David Aspinall | 2000-05-16 10:03:59 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-16 10:03:59 +0000 |
| commit | 71098c0becbb37ba565fb8bb42af64df404439ed (patch) | |
| tree | eac72c8997b76a6d7de2aa209402525bd4cd0f7c /html | |
| parent | f4314872d031f3ec2ebfffe9abb2c2909734c5e6 (diff) | |
Fixed to load all files and define proof ass specifc vars.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions