projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24e3b96) | patch
profiles/package.mask: add dev-php/ming-php
authorAaron Bauman <bman@gentoo.org>
Sun, 4 Aug 2019 19:35:09 +0000 (15:35 -0400)
committerAaron Bauman <bman@gentoo.org>
Sun, 4 Aug 2019 19:35:09 +0000 (15:35 -0400)
commit1654b3e0610ab3767a30ba13366d6db2e883a76d
tree1a11b5dbcaf936eb7e0274005a5c70651be18a06tree | snapshot
parent24e3b96135cc59e1f083e62ecf31c49ddbcbc2e7commit | diff
profiles/package.mask: add dev-php/ming-php

* depends on media-libs/ming

Signed-off-by: Aaron Bauman <bman@gentoo.org>
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.