diff options
| author | David Aspinall | 1998-11-26 21:04:07 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-26 21:04:07 +0000 |
| commit | b7494f8fc45a3b45487ad7cbca9f893c46b5f057 (patch) | |
| tree | 7ce60a2b81892cc43fb7897ecaf59dac0e0861ee /etc/ProofGeneral.patch | |
| parent | 01b2aab0c63b451dc6c488ae4eb666c70acb55eb (diff) | |
Set version tag for new release.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions