diff options
| author | David Aspinall | 1998-10-09 13:20:51 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-09 13:20:51 +0000 |
| commit | 244f4295362c2896c1644c66a927d9388c3e9643 (patch) | |
| tree | 9d0407311115d03ea76a3da2ad20f5e317c384c9 /etc/ProofGeneral.patch | |
| parent | c5439410052d409d0c491cbce8c788e6f9f2e118 (diff) | |
Changed banner to use gif files for text.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions