diff options
author | Thomas Deutschmann <whissi@gentoo.org> | 2020-09-03 18:13:07 +0200 |
---|---|---|
committer | Thomas Deutschmann <whissi@gentoo.org> | 2020-09-03 19:00:17 +0200 |
commit | 76f1e59caff340749d07e360035e56ad25dd31d2 (patch) | |
tree | a0882721b17b1b482d6aad96ebc13e26b0b83212 /dev-php | |
parent | dev-python/cov-core: Add py38, py39 (diff) | |
download | gentoo-76f1e59caff340749d07e360035e56ad25dd31d2.tar.gz gentoo-76f1e59caff340749d07e360035e56ad25dd31d2.tar.bz2 gentoo-76f1e59caff340749d07e360035e56ad25dd31d2.zip |
profiles: Add php7-4 target by default
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Diffstat (limited to 'dev-php')
0 files changed, 0 insertions, 0 deletions