diff options
author | Hendrik Tews <hendrik@askra.de> | 2012-03-05 19:05:25 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2012-03-05 19:05:25 +0000 |
commit | b657e54f428d4cd74a9a58c9979a98dc28cfc60d (patch) | |
tree | edafd3e9e64ede15b93cab14d4c987db67f69f55 /etc/desktop/proofgeneral.desktop | |
parent | a47bb556f656a43c1d0ca6afb69e838cde8e278c (diff) |
remove deprecated desktop keys
Diffstat (limited to 'etc/desktop/proofgeneral.desktop')
-rw-r--r-- | etc/desktop/proofgeneral.desktop | 2 |
1 files changed, 0 insertions, 2 deletions
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 |