Eelco Dolstra 8f4c5b05d5 Add a way to define obsolete options that have no replacement		2013-10-23 20:08:22 +02:00
..
generations-dir
grub	Add a way to define obsolete options that have no replacement	2013-10-23 20:08:22 +02:00
gummiboot
init-script
raspberrypi
efi.nix