From 3ef7797ef6fc605dfafb32523261fe1b023aeecb Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 28 Apr 2006 14:59:16 +0000
Subject: Imported Upstream version 8.0pl3+8.1alpha

---
 ide/coq.ico | Bin 96774 -> 27574 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to 'ide/coq.ico')

diff --git a/ide/coq.ico b/ide/coq.ico
index 390065bc..b99f6399 100644
Binary files a/ide/coq.ico and b/ide/coq.ico differ
-- 
cgit v1.2.3