diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2012-08-24 13:41:32 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2012-08-24 13:41:32 +0000 |
| commit | 0a5627786d8852153af123a9cb71e5f490b8679f (patch) | |
| tree | 3a14c2dc89367ee3b7c7e43e885abce1ba6a1e0c /sci-mathematics | |
| parent | ppc stable (bug 422233). (diff) | |
| download | gentoo-2-0a5627786d8852153af123a9cb71e5f490b8679f.tar.gz gentoo-2-0a5627786d8852153af123a9cb71e5f490b8679f.tar.bz2 gentoo-2-0a5627786d8852153af123a9cb71e5f490b8679f.zip | |
Add Science category to the desktop entry, fixing a repoman warning.
(Portage version: 2.2.0_alpha122/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/coq/files/coqide.desktop | 2 |
2 files changed, 5 insertions, 2 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index 20229384bfcc..95374cf97923 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/coq # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.71 2012/08/24 13:39:48 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.72 2012/08/24 13:41:32 aballier Exp $ + + 24 Aug 2012; Alexis Ballier <aballier@gentoo.org> files/coqide.desktop: + Add Science category to the desktop entry, fixing a repoman warning. 24 Aug 2012; Alexis Ballier <aballier@gentoo.org> +files/lablgtk216.patch, coq-8.3_p4.ebuild: diff --git a/sci-mathematics/coq/files/coqide.desktop b/sci-mathematics/coq/files/coqide.desktop index 91954772c3a2..10cc1480fbdd 100644 --- a/sci-mathematics/coq/files/coqide.desktop +++ b/sci-mathematics/coq/files/coqide.desktop @@ -7,4 +7,4 @@ Name=CoqIDE GenericName=Coq IDE Terminal=false Type=Application -Categories=Application;Education;Math; +Categories=Application;Education;Science;Math; |