Daniel Baumann f93fa286d5 Renaming grub2 helper to grub-pc for later grub-efi addition.		2015-05-04 20:33:00 +02:00
..
build	Renaming grub2 helper to grub-pc for later grub-efi addition.	2015-05-04 20:33:00 +02:00
build.sh	Updating year in copyright notices to 2015.	2015-01-04 20:05:44 +01:00