diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2010-12-07 01:54:38 +0000 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2010-12-07 01:54:38 +0000 |
| commit | c4ed0894179c9ee9b106427e291d49f7d3136737 (patch) | |
| tree | b3f6911eb474bbe1c6107387241b6449fde8617c /profiles | |
| parent | Require Emacs version 23 at least. Don't compile and install bundled mmm-mode... (diff) | |
| download | gentoo-2-c4ed0894179c9ee9b106427e291d49f7d3136737.tar.gz gentoo-2-c4ed0894179c9ee9b106427e291d49f7d3136737.tar.bz2 gentoo-2-c4ed0894179c9ee9b106427e291d49f7d3136737.zip | |
Remove mask for app-emacs/proofgeneral-4.0.
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/ChangeLog | 5 | ||||
| -rw-r--r-- | profiles/package.mask | 6 |
2 files changed, 5 insertions, 6 deletions
diff --git a/profiles/ChangeLog b/profiles/ChangeLog index c78ebdf418d0..abcff8158766 100644 --- a/profiles/ChangeLog +++ b/profiles/ChangeLog @@ -1,11 +1,14 @@ # ChangeLog for profile directory # Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v 1.4840 2010/12/07 01:17:54 hd_brummy Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v 1.4841 2010/12/07 01:54:38 ulm Exp $ # # This ChangeLog should include records for all changes in profiles directory. # Only typo fixes which don't affect portage/repoman behaviour could be avoided # here. If in doubt put a record here! + 07 Dec 2010; Ulrich Mueller <ulm@gentoo.org> package.mask: + Remove mask for app-emacs/proofgeneral-4.0. + 07 Dec 2010; Joerg Bornkessel <hd_brummy@gentoo.org> package.mask: masked media-tv/gentoo-vdr-scripts-0.4.8_rc2, #263956 diff --git a/profiles/package.mask b/profiles/package.mask index c704f714e2f1..81c11278c513 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1,5 +1,5 @@ #################################################################### -# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.12255 2010/12/07 01:17:54 hd_brummy Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.12256 2010/12/07 01:54:38 ulm Exp $ # # When you add an entry to the top of this file, add your name, the date, and # an explanation of why something is getting masked. Please be extremely @@ -37,10 +37,6 @@ # Masked for removal on 2011-02-06 dev-lang/wml -# Christian Faulhammer <fauli@gentoo.org> (6 Dec 2010) -# Has failures -=app-emacs/proofgeneral-4.0 - # Joerg Bornkessel <hd_brummy@gentoo.org> (6 Dec 2010) # masked for testing #300078 #263956 =media-tv/gentoo-vdr-scripts-0.4.8_rc1 |