Raphaël Hertzog 63af37b9c5 Copy sub-directories as well as files in grub config directory ... This is to cover the case of a theme included in that directory.		2016-11-28 21:05:06 +01:00
..
build	Copy sub-directories as well as files in grub config directory	2016-11-28 21:05:06 +01:00
build.sh	Updating year in copyright notices to 2015.	2015-01-04 20:05:44 +01:00