From e435ac08af697d7ed4a2bd5b05061349594d1d1c Mon Sep 17 00:00:00 2001 From: Michał Górny Date: Wed, 28 Nov 2018 10:54:48 +0100 Subject: profiles/desc: Remove unused PHP_TARGETS MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Michał Górny --- profiles/desc/php_targets.desc | 2 -- 1 file changed, 2 deletions(-) (limited to 'profiles') 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 -- cgit v1.2.3-65-gdbad