Eelco Dolstra 1f401a0e35 Make install-grub.pl work when $PATH is empty		2012-11-15 22:54:43 +01:00
..
efi-boot-stub	The efi boot stub code should only be run if it is enabled	2012-08-09 10:37:43 -04:00
generations-dir
grub	Make install-grub.pl work when $PATH is empty	2012-11-15 22:54:43 +01:00
init-script