[submodule "debian/grub-extras"]
	path = debian/grub-extras
	url = git://git.sv.gnu.org/grub-extras.git