From 5f74d9912dca32ea6ed98a217385f3a8b12c48f6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 19 Nov 1999 19:16:10 +0000
Subject: Renamed file

---
 doc/ProofGeneral.eps.gz         | Bin 1646905 -> 0 bytes
 doc/ProofGeneralPortrait.eps.gz | Bin 0 -> 1646905 bytes
 2 files changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 doc/ProofGeneral.eps.gz
 create mode 100644 doc/ProofGeneralPortrait.eps.gz

diff --git a/doc/ProofGeneral.eps.gz b/doc/ProofGeneral.eps.gz
deleted file mode 100644
index 97feb1a4..00000000
Binary files a/doc/ProofGeneral.eps.gz and /dev/null differ
diff --git a/doc/ProofGeneralPortrait.eps.gz b/doc/ProofGeneralPortrait.eps.gz
new file mode 100644
index 00000000..97feb1a4
Binary files /dev/null and b/doc/ProofGeneralPortrait.eps.gz differ
-- 
cgit v1.2.3