diff options
| author | David Aspinall | 2002-07-18 12:55:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 12:55:34 +0000 |
| commit | bf55d17d6e22924a5705d9fb5d594c6652842c90 (patch) | |
| tree | 5692fb096dcac518dbaf4881d54570eaa5c12d85 /html | |
| parent | f65e6c1bbf2d0f70df2a91f2dee95fc3df8cf73a (diff) | |
Rename READMEs for different provers so dont clash with doc directive.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions