commit:     e435ac08af697d7ed4a2bd5b05061349594d1d1c
Author:     Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Wed Nov 28 09:54:48 2018 +0000
Commit:     Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Wed Nov 28 09:56:12 2018 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e435ac08

profiles/desc: Remove unused PHP_TARGETS

Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>

 profiles/desc/php_targets.desc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/profiles/desc/php_targets.desc b/profiles/desc/php_targets.desc
index 62c199c76a1..2dbef91014c 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

Reply via email to