CODENAME=tuxedo
CODENAME_SAFE=tuxedo
DISPLAY=grub-theme
FLAVOUR=grub-theme
VERSION=1.1.22.04
