projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b233dd) | patch
profiles: Change PHP_TARGETS default to php7-2
authorThomas Deutschmann <whissi@gentoo.org>
Sat, 8 Jun 2019 21:01:01 +0000 (23:01 +0200)
committerThomas Deutschmann <whissi@gentoo.org>
Sat, 8 Jun 2019 21:01:01 +0000 (23:01 +0200)
commit8bbd638bdd38205bcba44430f2422cbd008d389c
tree9167b90eec210ca368fe109c5c849f4684eb096atree | snapshot
parent3b233dd17e8806f9eed9d8fa097a653d100a788acommit | diff
profiles: Change PHP_TARGETS default to php7-2

Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
profiles/base/make.defaults diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.