dev-php/jsonlint: remove old version 1.4.0.
authorMichael Orlitzky <mjo@gentoo.org>
Tue, 25 Apr 2017 15:05:27 +0000 (11:05 -0400)
committerMichael Orlitzky <mjo@gentoo.org>
Tue, 25 Apr 2017 15:14:47 +0000 (11:14 -0400)
commitcc1ec35050626eba3f19dcdfeb10dba0587757b0
tree8cced9428c37d21cbb98fd1d9bb62039d57fe970
parentf7d3914fd79f06f5e0820e453054a127c0f52211
dev-php/jsonlint: remove old version 1.4.0.

Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-php/jsonlint/Manifest
dev-php/jsonlint/jsonlint-1.4.0.ebuild [deleted file]