Franz Pletz 30690d05bc Add cryptodisk support for Grub ... Closes #4193		2014-09-24 21:48:55 +01:00
..
generations-dir
grub
gummiboot
init-script
raspberrypi
efi.nix