[gentoo-commits] gentoo-x86 commit in sci-mathematics/coq/files: coqide.desktop

[Alexis Ballier (aballier)]

aballier    12/08/24 13:41:32

  Modified:             coqide.desktop
  Log:
  Add Science category to the desktop entry, fixing a repoman warning.
  
  (Portage version: 2.2.0_alpha122/cvs/Linux x86_64)

Revision  Changes    Path
1.3                  sci-mathematics/coq/files/coqide.desktop

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/files/coqide.desktop?rev=1.3&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/files/coqide.desktop?rev=1.3&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/files/coqide.desktop?r1=1.2&r2=1.3

Index: coqide.desktop
===================================================================
RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/files/coqide.desktop,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- coqide.desktop	3 Jan 2008 17:41:59 -0000	1.2
+++ coqide.desktop	24 Aug 2012 13:41:32 -0000	1.3
@@ -7,4 +7,4 @@
 GenericName=Coq IDE
 Terminal=false
 Type=Application
-Categories=Application;Education;Math;
+Categories=Application;Education;Science;Math;