From 3cfba3af1e9bb91b380356823d74a30a5fb3565d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Mar 2004 00:40:15 +0000
Subject: New file

---
 etc/desktop/application-registry/proofgeneral.applications | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 etc/desktop/application-registry/proofgeneral.applications

diff --git a/etc/desktop/application-registry/proofgeneral.applications b/etc/desktop/application-registry/proofgeneral.applications
new file mode 100644
index 00000000..1944358a
--- /dev/null
+++ b/etc/desktop/application-registry/proofgeneral.applications
@@ -0,0 +1,7 @@
+proofgeneral
+	command=proofgeneral
+	name=Proof General
+	can_open_multiple_files=true
+	expects_uris=false
+	requires_terminal=false
+	mime_types=application/x-proofgeneral
-- 
cgit v1.2.3