diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-26 12:35:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-26 12:35:02 +0000 |
| commit | 0955c72541176ffec0d15565e497740894c4391e (patch) | |
| tree | 1783a040da0fd44145f57886f6fcd37e2a8aa22f /html | |
| parent | 9115161bca2fc5cf6b6b35d60bd72b8a28f222d0 (diff) | |
Consider proof-easy-config no-longer experimental.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions