projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ee3729) | patch
use.desc: Remove global flags that are used only in dev-lang/php
authorMichał Górny <mgorny@gentoo.org>
Mon, 22 Oct 2018 18:16:55 +0000 (20:16 +0200)
committerMichał Górny <mgorny@gentoo.org>
Mon, 22 Oct 2018 18:24:31 +0000 (20:24 +0200)
commit415f8ca469a662801bafa39583d8fb6b5caed664
treef3de2a399b188639f72ebe71cb13390d4aaf0d6atree | snapshot
parent5ee37292af48dfa380c7a0bd55312208165d62d3commit | diff
use.desc: Remove global flags that are used only in dev-lang/php

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