From adbaafb96696f7cd65c53ecad71aac095bee1338 Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Tue, 24 May 2016 23:28:08 -0400 Subject: Update PG's logo The new art is a contribution of Yoshihiro Imai (http://proofcafe.org/~yoshihiro503/), first released at https://github.com/yoshihiro503/generaltan and kindly made available under the terms of the GPL. Many thanks! --- images/ProofGeneral-image.gif | Bin 18165 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 images/ProofGeneral-image.gif (limited to 'images/ProofGeneral-image.gif') diff --git a/images/ProofGeneral-image.gif b/images/ProofGeneral-image.gif deleted file mode 100644 index 4f83fb95..00000000 Binary files a/images/ProofGeneral-image.gif and /dev/null differ -- cgit v1.2.3