However this left stuff in /etc/splashy/themes/default, which might cause problems if I later want to reinstall splashy (which I never managed to make work, BTW). "rm -rf /etc/splashy" should allow for a fresh start though...
Jérémie -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org