[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534

[Stephane Glondu]

The following commit has been merged in the master branch:
commit ad9b0fc2f2c0945eb48ae6d9cd7256b11dfd8792
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Aug 8 16:47:33 2008 +0200

    Remove Encoding from debian/coqide.desktop
    
    ...as complained by Lintian

diff --git a/debian/coqide.desktop b/debian/coqide.desktop
index 8c1a0c6..ea667c5 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

-- 
coq packaging