File debian.postrm of Package 6100-splashy-theme

#!/bin/sh
#
#
cp /boot/grub/menu.lst.pre-splashy /boot/grub/menu.lst
rm /boot/grub/menu.lst.pre-splashy