Bug#877052: RM: jellydoc -- ROM; No longer used

[Emmanuel Bourg]

Package: ftp.debian.org
Severity: normal

Hi,

Please remove the unused jellydoc package, it was only useful
for packaging jenkins which was removed last year.

Thank you,

Emmanuel Bourg