Paul Tagliamonte 5d07fc5160 Quick refresh of the debian/ directory, and introducing the `joy' theme for 7.0

2012-06-21 11:35:36 +00:00

..

grub_background.sh

grub/grub_background.sh: invert highlight and normal text color for better

2010-11-17 21:27:07 +00:00

joy-grub.png

Quick refresh of the debian/ directory, and introducing the `joy' theme for 7.0

2012-06-21 11:35:36 +00:00

spacefun-grub-widescreen.png

incorporate grub changes from Ulrich

2010-12-09 21:23:26 +00:00

spacefun-grub.png

incorporate grub changes from Ulrich

2010-12-09 21:23:26 +00:00