# Automatically generated -- do not edit
if [ -s /boot/grub/custom.cfg ]; then
	source /boot/grub/custom.cfg
fi