From b657e54f428d4cd74a9a58c9979a98dc28cfc60d Mon Sep 17 00:00:00 2001
From: Hendrik Tews <hendrik@askra.de>
Date: Mon, 5 Mar 2012 19:05:25 +0000
Subject: remove deprecated desktop keys

---
 etc/desktop/proofgeneral.desktop | 2 --
 1 file changed, 2 deletions(-)

(limited to 'etc')

diff --git a/etc/desktop/proofgeneral.desktop b/etc/desktop/proofgeneral.desktop
index a053f566..8dfa3e9a 100644
--- a/etc/desktop/proofgeneral.desktop
+++ b/etc/desktop/proofgeneral.desktop
@@ -1,12 +1,10 @@
 [Desktop Entry]
 Type=Application
 Version=1.0
-Encoding=UTF-8
 Name=Proof General
 GenericName=Theorem proving environment
 Comment=Organise your proofs!
 Icon=proofgeneral.png
-FilePattern=proofgeneral
 TryExec=proofgeneral
 Exec=proofgeneral %F
 Terminal=false
-- 
cgit v1.2.3