diff options
| author | David Aspinall | 2003-02-18 00:50:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-18 00:50:30 +0000 |
| commit | 83a8661ca8e03a2b6438cb85d0105c60f2af630f (patch) | |
| tree | b4bc0dd0b385f7c221d47a5bf8f2a705a76b81db /doc | |
| parent | a476b715d7b43c32e37a6090937f250eb9d0da24 (diff) | |
Refactor proof-config-done for clarity
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions