diff options
| author | David Aspinall | 1998-10-07 17:50:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-07 17:50:46 +0000 |
| commit | 832708eef18b26052bf56b2064ba1846e68c1891 (patch) | |
| tree | 52fcb9d6273876f571bf2ba1e54664e630cecb89 /etc/ProofGeneral.patch | |
| parent | 518849bff31120315f85cd87b368618c19aeee19 (diff) | |
Disabeled remote release
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions