diff options
| -rw-r--r-- | checkpkgist/checkpkgist.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/checkpkgist/checkpkgist.json b/checkpkgist/checkpkgist.json index 47acaa5..e93ddf7 100644 --- a/checkpkgist/checkpkgist.json +++ b/checkpkgist/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", |