From ad9b0fc2f2c0945eb48ae6d9cd7256b11dfd8792 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 8 Aug 2008 16:47:33 +0200 Subject: Remove Encoding from debian/coqide.desktop ...as complained by Lintian --- debian/coqide.desktop | 1 - 1 file changed, 1 deletion(-) (limited to 'debian/coqide.desktop') 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 -- cgit v1.2.3