package: libjdom1-java version: 1.0-4 severity: minor It's poor taste to include the api documentation alongside the code; packages that only require the library end up having to have the docs installed as well. This increases the disk space usage on production servers.
Please split the docs into a separate package, to solve this problem. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
