Package: jed-extra Version: 2.4-1 Severity: normal After package removal or purge, some files are left in the system:
$ ls -R /usr/share/jed/jed-extra/ /usr/share/jed/jed-extra/: drop-in extra ini.sl libfuns.txt utils /usr/share/jed/jed-extra/drop-in: ini.sl libfuns.txt /usr/share/jed/jed-extra/extra: ini.sl libfuns.txt /usr/share/jed/jed-extra/utils: ini.sl libfuns.txt I think that these files,as well as their parent directories if empty, should be removed in the prerm script. -- Rafael -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
