diff options
| author | Makarius Wenzel | 1999-05-27 19:32:41 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-05-27 19:32:41 +0000 |
| commit | c910b667d522b8f45ec3ef5df69c91e10ec7a9a1 (patch) | |
| tree | 93c6144399e2a2e3e4e52bd618b0c40f979a6394 /etc/ProofGeneral.patch | |
| parent | 40110d21d91ceece64962d76fb3bbdc855de63d5 (diff) | |
removed junk;
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions