diff options
| author | Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2018-05-02 12:15:56 +0200 |
|---|---|---|
| committer | Patrice Clement <monsieurp@gentoo.org> | 2018-05-04 22:49:08 +0200 |
| commit | b893cd8b977d1496c3ddca1560ba675f1f9d4899 (patch) | |
| tree | be529dd63d3dc7267c6ea2140c980a62f7915c7b /dev-lang/php/php-7.1.17.ebuild | |
| parent | 9ab2c9d51857615c76d7114786562366deae519e (diff) | |
| download | gentoo-b893cd8b977d1496c3ddca1560ba675f1f9d4899.tar.gz gentoo-b893cd8b977d1496c3ddca1560ba675f1f9d4899.tar.bz2 gentoo-b893cd8b977d1496c3ddca1560ba675f1f9d4899.zip | |
dev-java/tapestry: remove old.
Diffstat (limited to 'dev-lang/php/php-7.1.17.ebuild')
0 files changed, 0 insertions, 0 deletions