dev-db/redis: Merge remote-tracking branch 'github/pr/13619'
[gentoo.git] / dev-util / kdevelop-php /
drwxr-xr-x   ..
-rw-r--r-- 616 Manifest
-rw-r--r-- 1112 kdevelop-php-5.4.2.ebuild
-rw-r--r-- 1239 kdevelop-php-5.4.5.ebuild
-rw-r--r-- 249 metadata.xml