From ba4e381843553d456955d1f6b5ef8eb00cc4b0f5 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jan=20R=C4=99korajski?= <baggins@pld-linux.org>
Date: Thu, 7 Apr 2011 21:41:46 +0000
Subject: [PATCH] - desktop file for coqide

Changed files:
    coqide.desktop -> 1.1
---
 coqide.desktop | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 coqide.desktop

diff --git a/coqide.desktop b/coqide.desktop
new file mode 100644
index 0000000..4acf016
--- /dev/null
+++ b/coqide.desktop
@@ -0,0 +1,8 @@
+[Desktop Entry]
+Name=CoqIDE Proof Assistant
+Comment=Graphical interface for the Coq proof assistant
+Exec=coqide
+Type=Application
+Categories=Development;Science;Math;IDE;GTK;
+Terminal=false
+Icon=coqide
-- 
2.43.0