mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-11-07 18:07:08 -08:00
profiles/base/use.stable.mask: add php_targets_php7-1 for the newly added PHP 7.1
This commit is contained in:
@@ -1,10 +1,14 @@
|
||||
# Copyright 1999-2015 Gentoo Foundation
|
||||
# Copyright 1999-2016 Gentoo Foundation
|
||||
# Distributed under the terms of the GNU General Public License v2
|
||||
# $Id$
|
||||
|
||||
# This file requires eapi 5 or later. New entries go on top.
|
||||
# Please use the same syntax as in use.mask
|
||||
|
||||
# Brian Evans <grknight@gentoo.org> (06 Dec 2016)
|
||||
# Needs dev-lang/php:7.1 stable
|
||||
php_targets_php7-1
|
||||
|
||||
# Zac Medico <zmedico@gentoo.org> (01 Sep 2016)
|
||||
# Needs virtual/pypy* stable
|
||||
python_targets_pypy
|
||||
|
||||
Reference in New Issue
Block a user