From b657956f17442f33ba4fc80fe6720e9a238bcb31 Mon Sep 17 00:00:00 2001
From: notin
Date: Fri, 23 Jan 2009 18:41:51 +0000
Subject: Suppression de l'ancien logo (problèmes de droits)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11854 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coq.ico   | Bin 27574 -> 0 bytes
 ide/coqide.ml |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 delete mode 100644 ide/coq.ico

diff --git a/ide/coq.ico b/ide/coq.ico
deleted file mode 100644
index b99f63990a..0000000000
Binary files a/ide/coq.ico and /dev/null differ
diff --git a/ide/coqide.ml b/ide/coqide.ml
index 035f7b4d57..98123be19b 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1900,7 +1900,7 @@ let main files =
     ~title:"CoqIde" ()
   in
     (try
-	 let icon_image = lib_ide_file "coq.ico" in
+	 let icon_image = lib_ide_file "coq.png" in
 	 let icon = GdkPixbuf.from_file icon_image in
 	   w#set_icon (Some icon)
      with _ -> ());
-- 
cgit v1.2.3