diff options
| author | David Aspinall | 1998-10-09 13:20:16 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-09 13:20:16 +0000 |
| commit | c5439410052d409d0c491cbce8c788e6f9f2e118 (patch) | |
| tree | fd55b4d8050f4f8c7ccd121caed62729dcf0efc0 /etc/ProofGeneral.patch | |
| parent | 39a33c341e086b93366b48bed02af514f40630ba (diff) | |
Deleted files.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions