projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d44f076) | patch
profiles/desc: Remove unused PHP_TARGETS
authorMichał Górny <mgorny@gentoo.org>
Wed, 28 Nov 2018 09:54:48 +0000 (10:54 +0100)
committerMichał Górny <mgorny@gentoo.org>
Wed, 28 Nov 2018 09:56:12 +0000 (10:56 +0100)
commite435ac08af697d7ed4a2bd5b05061349594d1d1c
tree6a5542cd59455e84e35e2e8f7f20699a2ce2885dtree | snapshot
parentd44f0762608cf8e14aed3229a821edf01154bb02commit | diff
profiles/desc: Remove unused PHP_TARGETS

Signed-off-by: Michał Górny <mgorny@gentoo.org>
profiles/desc/php_targets.desc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.