diff options
| author |   Thomas Deutschmann <whissi@gentoo.org> | 2019-06-08 23:02:03 +0200 |
|---|---|---|
| committer | Thomas Deutschmann <whissi@gentoo.org> | 2019-06-08 23:02:03 +0200 |
| commit | d279646a3b61d6c11e731c3e1443da5130ac2bbb (patch) | |
| tree | f51303dc784e2380c80697ad7a261a3c4dabcdfd /games-util | |
| parent | profiles: Change PHP_TARGETS default to php7-2 (diff) | |
| download | gentoo-d279646a3b61d6c11e731c3e1443da5130ac2bbb.tar.gz gentoo-d279646a3b61d6c11e731c3e1443da5130ac2bbb.tar.bz2 gentoo-d279646a3b61d6c11e731c3e1443da5130ac2bbb.zip | |
profiles: remove php_targets_php7-3 from stable mask for most arches
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Diffstat (limited to 'games-util')
0 files changed, 0 insertions, 0 deletions