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