Longrin Wischnewski 196c6260be grub: fix grub merge error		2014-08-31 12:29:13 +02:00
..
generations-dir
grub	grub: fix grub merge error	2014-08-31 12:29:13 +02:00
gummiboot	gummiboot: Automatically disable GRUB	2014-04-30 11:47:18 +02:00
init-script
raspberrypi
efi.nix