diff options
author | Michał Górny <mgorny@gentoo.org> | 2018-11-28 10:54:48 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2018-11-28 10:56:12 +0100 |
commit | e435ac08af697d7ed4a2bd5b05061349594d1d1c (patch) | |
tree | 6a5542cd59455e84e35e2e8f7f20699a2ce2885d /profiles | |
parent | profiles/desc: Remove LIRC_DEVICES (unused) (diff) | |
download | gentoo-e435ac08af697d7ed4a2bd5b05061349594d1d1c.tar.gz gentoo-e435ac08af697d7ed4a2bd5b05061349594d1d1c.tar.bz2 gentoo-e435ac08af697d7ed4a2bd5b05061349594d1d1c.zip |
profiles/desc: Remove unused PHP_TARGETS
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/desc/php_targets.desc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/profiles/desc/php_targets.desc b/profiles/desc/php_targets.desc index 62c199c76a10..2dbef91014c1 100644 --- a/profiles/desc/php_targets.desc +++ b/profiles/desc/php_targets.desc @@ -8,5 +8,3 @@ php7-2 - Build against PHP 7.2 php7-1 - Build against PHP 7.1 php7-0 - Build against PHP 7.0 php5-6 - Build against PHP 5.6 -php5-5 - Build against PHP 5.5 -php5-4 - Build against PHP 5.4 |