projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c38f0d) | patch
profiles: mask dev-php/Savant* for removal.
authorMichael Orlitzky <mjo@gentoo.org>
Sat, 7 Jan 2017 00:37:04 +0000 (19:37 -0500)
committerMichael Orlitzky <mjo@gentoo.org>
Sat, 7 Jan 2017 00:46:01 +0000 (19:46 -0500)
commit58b6120f1688e2e809e117036dffb69965c23a0c
tree332d88a1d95e55c86c71cb9ef07501eaba56e0adtree | snapshot
parent5c38f0da839a3acec372559f3fdc9c2708c2232ccommit | diff
profiles: mask dev-php/Savant* for removal.

Gentoo-Bug: 604884
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.