diff options
| author | David Aspinall | 1998-11-12 14:23:23 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-12 14:23:23 +0000 |
| commit | 0c605e0ebeb4bd930388f372553243642b87105b (patch) | |
| tree | 68ae59e9f8fd0443cb2f108bf83d470f8ffe64c2 /html | |
| parent | 09ed42703bd2b3400996e7fdd8ff6850307fa91c (diff) | |
Added proof-auto-delete-windows user option.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions