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 |
Subject | Author |
---|---|
Re: [gentoo-dev] [PATCH 12/17] profiles: Remove unused php5-2 target | Michael Orlitzky <mjo@g.o> |