diff options
| author | Hendrik Tews | 2012-03-05 19:05:25 +0000 |
|---|---|---|
| committer | Hendrik Tews | 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 |