diff options
author | 1999-11-26 12:35:02 +0000 | |
---|---|---|
committer | 1999-11-26 12:35:02 +0000 | |
commit | 0955c72541176ffec0d15565e497740894c4391e (patch) | |
tree | 1783a040da0fd44145f57886f6fcd37e2a8aa22f /doc/README | |
parent | 9115161bca2fc5cf6b6b35d60bd72b8a28f222d0 (diff) |
Consider proof-easy-config no-longer experimental.
Diffstat (limited to 'doc/README')
0 files changed, 0 insertions, 0 deletions