jlec 15/03/20 07:55:39 Modified: coqide.desktop Log: Fix desktop file (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
Revision Changes Path 1.4 sci-mathematics/coq/files/coqide.desktop file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/files/coqide.desktop?rev=1.4&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/files/coqide.desktop?rev=1.4&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/files/coqide.desktop?r1=1.3&r2=1.4 Index: coqide.desktop =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/files/coqide.desktop,v retrieving revision 1.3 retrieving revision 1.4 diff -u -r1.3 -r1.4 --- coqide.desktop 24 Aug 2012 13:41:32 -0000 1.3 +++ coqide.desktop 20 Mar 2015 07:55:39 -0000 1.4 @@ -1,5 +1,4 @@ [Desktop Entry] -Encoding=UTF-8 Comment=Coq integrated developpment environment Icon=/usr/lib/coq/ide/coq.png Exec=/usr/bin/coqide @@ -7,4 +6,4 @@ GenericName=Coq IDE Terminal=false Type=Application -Categories=Application;Education;Science;Math; +Categories=Science;Math;
