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
..
build	Standardize on having the GUI installation first in boot menus	2020-01-23 16:47:04 +01:00
build.sh	Updating year in copyright notices to 2015.	2015-01-04 20:05:44 +01:00