diff options
| author | David Aspinall | 1999-11-22 17:55:12 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-22 17:55:12 +0000 |
| commit | 62b72931e2e340530f0cdf04c4eebe5069f4db3a (patch) | |
| tree | b45c5a8afe104b017fe1ef3c86cfe1b9c1e77518 | |
| parent | beca7a6054e41dca0ecc07b6cea9ba095daa51d3 (diff) | |
File moved
| -rw-r--r-- | doc/ProofGeneralPortrait.eps.gz | bin | 1646905 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/ProofGeneralPortrait.eps.gz b/doc/ProofGeneralPortrait.eps.gz Binary files differdeleted file mode 100644 index 97feb1a4..00000000 --- a/doc/ProofGeneralPortrait.eps.gz +++ /dev/null |