diff options
| author | David Aspinall | 1998-09-17 14:41:12 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-17 14:41:12 +0000 |
| commit | 2627544e9127d840e425ac354b0ca1209b880f10 (patch) | |
| tree | 8318561a99cd6ae0b89536424e0ed2909c5b0ba4 /etc/ProofGeneral.patch | |
| parent | 5d289dc316d040f01352a4dd9642171a4a4d74dd (diff) | |
Added docs to release and remoterelease target.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions