Bug#838505: RM: kdevelop-php-docs -- ROM; merged into src:kdevelop-php

[Pino Toscano <pino@debian.org>]

Package: ftp.debian.org
Severity: normal

Hi,

please remove the separate kdevelop-php-docs source and its binaries:
its content was merged together with kdevelop-php, which now builds
everything, and provides transitional packages for the older binaries
of src:kdevelop-php-docs.

Thanks,
-- 
Pino