Raphaël Hertzog 2127283494 Standardize on having the GUI installation first in boot menus ... debian-cd changed it that way, we already have it that way in EFI boot, let's be consistent.		2020-01-23 16:47:04 +01:00
..
extlinux	Standardize on having the GUI installation first in boot menus	2020-01-23 16:47:04 +01:00
grub-legacy	Renaming grub helper to grub-legacy for consistency.	2015-05-04 20:36:20 +02:00
grub-pc	Cleanup binary_loopback_cfg and offer more freedom in overriding the default grub-pc configuration.	2016-12-14 12:33:07 +01:00
isolinux	Standardize on having the GUI installation first in boot menus	2020-01-23 16:47:04 +01:00
pxelinux	Standardize on having the GUI installation first in boot menus	2020-01-23 16:47:04 +01:00
syslinux	Standardize on having the GUI installation first in boot menus	2020-01-23 16:47:04 +01:00