From 9d27ae09786866b6e3d7b79d1fa7667e5e2aa309 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Tue, 19 Apr 2011 16:44:20 +0200
Subject: Imported Upstream version 8.3.pl2

---
 ide/coq_icon.rc | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 ide/coq_icon.rc

(limited to 'ide/coq_icon.rc')

diff --git a/ide/coq_icon.rc b/ide/coq_icon.rc
new file mode 100644
index 00000000..f873e7de
--- /dev/null
+++ b/ide/coq_icon.rc
@@ -0,0 +1 @@
+large   ICON    ide/coq.ico
-- 
cgit v1.2.3