projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d8d4f8) | patch
package.mask: dev-db/phppgadmin removed
authorAaron W. Swenson <titanofold@gentoo.org>
Sun, 14 Jan 2018 13:58:07 +0000 (08:58 -0500)
committerAaron W. Swenson <titanofold@gentoo.org>
Sun, 14 Jan 2018 13:58:07 +0000 (08:58 -0500)
commit07e3ef9a27309042e037d65ce9990062502d36ec
treeb22a2aa4c2924d725fd9297e88a9f33413466cb7tree | snapshot
parent1d8d4f8f32d5d3dfbead0744d1804409aabe6876commit | diff
package.mask: dev-db/phppgadmin removed

Package removed. Cleanup mask.

Bug: https://bugs.gentoo.org/641140
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.