Luca Boccassi f108fdfa71 UEFI: remove the EFI/debian/grub.cfg, not necessary anymore ... Turns out gcd works fine after adding /boot/grub/grub.cfg in the img, as that's the path that gets hardcoded, and adding the EFI/debian/ grub.cfg was not necessary, so remove it.		2018-09-19 11:35:17 +01:00
..
build	UEFI: remove the EFI/debian/grub.cfg, not necessary anymore	2018-09-19 11:35:17 +01:00
build.sh	Updating year in copyright notices to 2015.	2015-01-04 20:05:44 +01:00