diff options
author | Mart Raudsepp <leio@gentoo.org> | 2017-04-18 14:35:33 +0300 |
---|---|---|
committer | Mart Raudsepp <leio@gentoo.org> | 2017-04-18 14:36:49 +0300 |
commit | 3f8cea011934e7609ed41acabeeb3d74c84426d9 (patch) | |
tree | 06f93d7a4995f773359dfda745fa5e02b1ac01af /profiles/package.mask | |
parent | gnome-extra/gnome-builder: bump to 3.24.1 (diff) | |
download | gentoo-3f8cea011934e7609ed41acabeeb3d74c84426d9.tar.gz gentoo-3f8cea011934e7609ed41acabeeb3d74c84426d9.tar.bz2 gentoo-3f8cea011934e7609ed41acabeeb3d74c84426d9.zip |
profiles: Unmask gnome-builder-3.24
It works fine on an otherwise 3.22 system, and the improvements are good
to have sooner.
Diffstat (limited to 'profiles/package.mask')
-rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index f0d211550ca2..cf479d7c6410 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -286,7 +286,6 @@ net-proxy/obfsproxy >=gnome-base/dconf-editor-3.23 >=dev-util/devhelp-3.23 >=mail-client/evolution-3.23 ->=gnome-extra/gnome-builder-3.23 >=games-board/gnome-mines-3.23 >=media-sound/gnome-music-3.23 >=games-arcade/gnome-nibbles-3.23 |