diff options
author | Pacho Ramos <pacho@gentoo.org> | 2013-06-30 12:10:48 +0000 |
---|---|---|
committer | Pacho Ramos <pacho@gentoo.org> | 2013-06-30 12:10:48 +0000 |
commit | f28383c651edc90396f3ac355c063c0d1396566c (patch) | |
tree | e3eca212b166c201ced4eccc18a708bf94d22e36 /profiles | |
parent | Version bump; does not build yet, needs further investigation. (diff) | |
download | historical-f28383c651edc90396f3ac355c063c0d1396566c.tar.gz historical-f28383c651edc90396f3ac355c063c0d1396566c.tar.bz2 historical-f28383c651edc90396f3ac355c063c0d1396566c.zip |
Update Gnome 3.8 mask
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index b5a95b87203d..3508a98b19a2 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1,6 +1,6 @@ #################################################################### -# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.14882 2013/06/30 11:38:35 pacho Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.14883 2013/06/30 12:10:48 pacho 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 @@ -543,6 +543,7 @@ games-board/gnome-chess games-puzzle/gnome-klotski games-board/gnome-mines games-arcade/gnome-robots +games-puzzle/gnome-tetravex # Jeroen Roovers <jer@gentoo.org> (25 Mar 2013) # Unlocking fails (bug #463180) |