From 39a5d68776d9a15df87a256f394897d84fd2e8bc Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 11 Dec 2007 19:26:16 +0000
Subject: Deleted file

---
 images/coq-badge.xcf | Bin 120521 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 images/coq-badge.xcf

(limited to 'images/coq-badge.xcf')

diff --git a/images/coq-badge.xcf b/images/coq-badge.xcf
deleted file mode 100644
index 98ba6ded..00000000
Binary files a/images/coq-badge.xcf and /dev/null differ
-- 
cgit v1.2.3