diff options
| author | David Aspinall | 1998-09-23 11:08:32 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-23 11:08:32 +0000 |
| commit | 25ef3ad3da9ea029b3b1a4a9d4a72f4a6641f0cb (patch) | |
| tree | 1bf5e75649a0506965678dfbf1e466044fdd6454 /etc/ProofGeneral.patch | |
| parent | 422b77370c02f0251627d8f82eadcbc03c44f9b1 (diff) | |
Removed history, added branding.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions