diff options
Diffstat (limited to 'etc')
-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 |