summaryrefslogtreecommitdiff
path: root/debian/coqide.desktop
diff options
context:
space:
mode:
Diffstat (limited to 'debian/coqide.desktop')
-rw-r--r--debian/coqide.desktop1
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/coqide.desktop b/debian/coqide.desktop
index 8c1a0c60..ea667c56 100644
--- a/debian/coqide.desktop
+++ b/debian/coqide.desktop
@@ -1,5 +1,4 @@
[Desktop Entry]
-Encoding=UTF-8
Name=CoqIDE Proof Assistant
Comment=Graphical interface for the Coq proof assistant
Exec=coqide