diff options
| author |   Michael Orlitzky <mjo@gentoo.org> | 2023-12-05 20:04:44 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2023-12-05 21:00:41 -0500 |
| commit | 726ca79026a9387b45ed032558aae712803007dd (patch) | |
| tree | f654eb4342f97f96b0c26e6f9815065c9feb2b5c /profiles | |
| parent | dev-lang/php: add 8.3.0 (diff) | |
| download | gentoo-726ca79026a9387b45ed032558aae712803007dd.tar.gz gentoo-726ca79026a9387b45ed032558aae712803007dd.tar.bz2 gentoo-726ca79026a9387b45ed032558aae712803007dd.zip | |
profiles/desc/php_targets.desc: drop old php7-4 target
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/desc/php_targets.desc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/desc/php_targets.desc b/profiles/desc/php_targets.desc index 3ba6ed157ba3..0f6c40acfa5f 100644 --- a/profiles/desc/php_targets.desc +++ b/profiles/desc/php_targets.desc @@ -7,4 +7,3 @@ php8-3 - Build against PHP 8.3 php8-2 - Build against PHP 8.2 php8-1 - Build against PHP 8.1 php8-0 - Build against PHP 8.0 -php7-4 - Build against PHP 7.4 |