Robin Gloster af9f44dd57 grub: fix capitalisation ... Missed this occurence while renaming the option		2017-02-13 14:55:36 +01:00
..
generations-dir	fix indentation in several nixos option descriptions	2016-12-16 18:29:25 +01:00
generic-extlinux-compatible
grub	grub: fix capitalisation	2017-02-13 14:55:36 +01:00
init-script
raspberrypi	raspberryPi boot loader: don't remove xx-initrd files	2017-02-12 02:48:57 +02:00
systemd-boot	systemd-boot: fix evaluation	2017-01-21 14:42:10 +01:00
efi.nix
loader.nix