diff options
| -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; |