diff options
| author |   Michael Orlitzky <mjo@gentoo.org> | 2017-03-08 08:12:39 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2017-03-08 08:13:31 -0500 |
| commit | 46851bd763a58e9a914edda395f2617680b57719 (patch) | |
| tree | 867a062105e778015edc5f1ba78b9eda3550e197 /dev-java/tomcat-servlet-api/metadata.xml | |
| parent | dev-php/PEAR-PHP_Shell: remove masked package. (diff) | |
| download | gentoo-46851bd763a58e9a914edda395f2617680b57719.tar.gz gentoo-46851bd763a58e9a914edda395f2617680b57719.tar.bz2 gentoo-46851bd763a58e9a914edda395f2617680b57719.zip | |
profiles: unmask recently-removed dev-php/PEAR-PHP_Shell.
Gentoo-Bug: 606836
Diffstat (limited to 'dev-java/tomcat-servlet-api/metadata.xml')
0 files changed, 0 insertions, 0 deletions