From 350a9dbe845fc7d7e6a5a1d5be6ae96a517dc006 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Mar 2004 00:18:30 +0000
Subject: fix syntax

---
 etc/desktop/mime-info/proofgeneral.mime | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/desktop/mime-info/proofgeneral.mime b/etc/desktop/mime-info/proofgeneral.mime
index a99b5389..4d30e6a6 100644
--- a/etc/desktop/mime-info/proofgeneral.mime
+++ b/etc/desktop/mime-info/proofgeneral.mime
@@ -1,2 +1,2 @@
-application/x-proofgeneral:
+application/x-proofgeneral
 	ext: thy v phx l lf lcm
-- 
cgit v1.2.3