From 2e74a14de5ca180a700a731732700f9a32891ba5 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 21 Apr 2011 16:12:18 +0000
Subject: Win32: let's directly make coqtop.exe and coqide.exe incorporate
 coq.ico

  This is an adaptation of commit 13747 for 8.3 branch

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14038 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 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 000000000..f873e7de1
--- /dev/null
+++ b/ide/coq_icon.rc
@@ -0,0 +1 @@
+large   ICON    ide/coq.ico
-- 
cgit v1.2.3