Gentoo Archives: gentoo-dev

From: "Michał Górny" <mgorny@g.o>
To: gentoo-dev@l.g.o
Cc: "Michał Górny" <mgorny@g.o>, php-bugs@g.o
Subject: [gentoo-dev] [PATCH 12/17] profiles: Remove unused php5-2 target
Date: Thu, 26 May 2016 18:51:05
Message-Id: 20160526184353.1294-13-mgorny@gentoo.org
In Reply to: [gentoo-dev] [PATCH 00/17] USE_EXPAND cleanup by "Michał Górny"
1 ---
2 profiles/desc/php_targets.desc | 1 -
3 1 file changed, 1 deletion(-)
4
5 diff --git a/profiles/desc/php_targets.desc b/profiles/desc/php_targets.desc
6 index 6108b0b..75d09ce 100644
7 --- a/profiles/desc/php_targets.desc
8 +++ b/profiles/desc/php_targets.desc
9 @@ -9,4 +9,3 @@ php5-6 - Build against PHP 5.6
10 php5-5 - Build against PHP 5.5
11 php5-4 - Build against PHP 5.4
12 php5-3 - Build against PHP 5.3
13 -php5-2 - Build against PHP 5.2
14 --
15 2.8.3

Replies