Raphaël Hertzog f7bb86fd58 Clean up grub configuration code ... * Use only long kernel names. * Put advanced options in a submenu. * Use distro-agnostic labels. * Don't generate entries with kernel version when we have a single version.		2016-12-02 23:04:13 +01:00
..
build	Clean up grub configuration code	2016-12-02 23:04:13 +01:00
build.sh	Updating year in copyright notices to 2015.	2015-01-04 20:05:44 +01:00