Juan RP edc0d5d53d efibootmgr: switch default grub loader to EFI/void/grubx64.efi. ... Rather than EFI/void_grub/grubx64.efi. Just a minor cosmetic change to remove the redundant _grub postfix.		2015-07-12 08:55:01 +02:00
..
patches
template