diff options
| author | Remi Collet <fedora@famillecollet.com> | 2016-04-14 15:41:02 +0200 |
|---|---|---|
| committer | Remi Collet <fedora@famillecollet.com> | 2016-04-14 15:41:02 +0200 |
| commit | 0d5c7492c25b2c4ee2b1348463f4d2b95a78287d (patch) | |
| tree | 03b49708b7fd04fc04570c204149f40ea45107a0 | |
| parent | f314e843cafa9ac9b10f58a29b8fbc000f4bf699 (diff) | |
php-hoa-devtools: 1.16.01.15 (new package, wip)
| -rw-r--r-- | checkpkgist.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/checkpkgist.json b/checkpkgist.json index 47acaa5..e93ddf7 100644 --- a/checkpkgist.json +++ b/checkpkgist.json @@ -23,6 +23,7 @@ "hoa\/compiler": "php-hoa-compiler", "hoa\/consistency": "php-hoa-consistency", "hoa\/console": "php-hoa-console", + "hoa\/devtools": "php-hoa-devtools", "hoa\/dispatcher": "php-hoa-dispatcher", "hoa\/iterator": "php-hoa-iterator", "hoa\/json": "php-hoa-json", |