From 870075f34dd9fa5792bfbf413afd3b96f17e76a0 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Fri, 8 Aug 2008 13:18:42 +0200
Subject: Imported Upstream version 8.2~beta4+dfsg

---
 ide/coq.png | Bin 5821 -> 6269 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to 'ide/coq.png')

diff --git a/ide/coq.png b/ide/coq.png
index 6ad66dbd..06aac459 100644
Binary files a/ide/coq.png and b/ide/coq.png differ
-- 
cgit v1.2.3