dev-lang/php: remove old "unused" versions.
authorMichael Orlitzky <mjo@gentoo.org>
Sun, 24 Jun 2018 15:16:58 +0000 (11:16 -0400)
committerMichael Orlitzky <mjo@gentoo.org>
Sun, 24 Jun 2018 15:16:58 +0000 (11:16 -0400)
commit177b3698197751797388eb1ef472c3053dad3870
tree482eaa53c13aa9d5e92d7d12e1ee098d15372d5c
parent1f507b53652a60eff34f32115173d75402c36504
dev-lang/php: remove old "unused" versions.

Package-Manager: Portage-2.3.40, Repoman-2.3.9
dev-lang/php/Manifest
dev-lang/php/php-7.1.17.ebuild [deleted file]
dev-lang/php/php-7.2.5.ebuild [deleted file]