diff options
| author | David Aspinall | 1998-10-08 14:34:22 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-08 14:34:22 +0000 |
| commit | 1fcbe66ce68321fae608f282d6bdc2caf8d6430f (patch) | |
| tree | 104092014ece474e0e096cc772353b70410431e2 /etc/ProofGeneral.patch | |
| parent | f75c9f9ee1cc77df66254d18a63b579d23b89a55 (diff) | |
Fixed Validator URLs
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions