From 00ba5d0fb4ee7754f095f73621c613cb816c1ce9 Mon Sep 17 00:00:00 2001
From: Hendrik Tews <hendrik@askra.de>
Date: Wed, 22 May 2013 19:05:48 +0000
Subject: rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif} to
 fix #472

---
 doc/ProofGeneral-image.jpg | Bin 0 -> 42514 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 doc/ProofGeneral-image.jpg

(limited to 'doc/ProofGeneral-image.jpg')

diff --git a/doc/ProofGeneral-image.jpg b/doc/ProofGeneral-image.jpg
new file mode 100644
index 00000000..ab45a0d9
Binary files /dev/null and b/doc/ProofGeneral-image.jpg differ
-- 
cgit v1.2.3