projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4920099) | patch
profiles: mask dev-php/PEAR-PHP_Shell for removal.
authorMichael Orlitzky <mjo@gentoo.org>
Sun, 22 Jan 2017 19:10:03 +0000 (14:10 -0500)
committerMichael Orlitzky <mjo@gentoo.org>
Sun, 22 Jan 2017 19:10:03 +0000 (14:10 -0500)
commitbdea64a14ee8536797815a08cc1fcfdd90e380e2
tree1f084355aa4cd008308c487bef27c06d5a78342ftree | snapshot
parent49200995198641f6ffc7ac749962feb94bd8f8a2commit | diff
profiles: mask dev-php/PEAR-PHP_Shell for removal.

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