dev-php/PHP_CodeCoverage: remove unused version 1.1.2.
[gentoo.git] / dev-php / PHP_CodeCoverage /
drwxr-xr-x   ..
-rw-r--r-- 387 Manifest
-rw-r--r-- 523 PHP_CodeCoverage-1.2.13.ebuild
drwxr-xr-x - files
-rw-r--r-- 235 metadata.xml