Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dev-php/jsonlint: bump to v1.7.2 | Thomas Deutschmann | 2019-11-17 | 2 | -0/+41 |
* | dev-php/jsonlint: Remove HOMEPAGE from SRC_URI | Brian Evans | 2019-08-16 | 1 | -2/+2 |
* | dev-php/jsonlint: Drop old | Brian Evans | 2019-08-16 | 2 | -41/+0 |
* | dev-php/jsonlint: bump to 1.7.1 | Tomas Mozes | 2018-09-20 | 2 | -0/+41 |
* | dev-php/*: Update Manifest hashes | Michał Górny | 2017-12-09 | 1 | -1/+1 |
* | dev-php/jsonlint: fix inconsistent use of whitespace in metadata.xml. | Michael Orlitzky | 2017-11-14 | 1 | -1/+1 |
* | dev-php/jsonlint: remove old version 1.4.0. | Michael Orlitzky | 2017-04-25 | 2 | -41/+0 |
* | dev-php/jsonlint: Add version bump 1.6.0 | Guillaume Seren | 2017-04-25 | 2 | -0/+41 |
* | Drop $Id$ per council decision in bug #611234. | Robin H. Johnson | 2017-02-28 | 1 | -1/+0 |
* | dev-php/jsonlint: add the PHP project as a co-maintainer. | Michael Orlitzky | 2016-12-18 | 1 | -0/+3 |
* | dev-php/jsonlint: add upstream/remote-id tag to metadata.xml. | Michael Orlitzky | 2016-12-18 | 1 | -0/+3 |
* | dev-php/jsonlint: Add 1.4.0 version | Guillaume Seren | 2016-12-18 | 4 | -0/+65 |