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

extlinux-conf-builder: Choose whether to use DTBs on per-generation basis

2016-07-10 03:03:51 +03:00

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

Use systemd-boot instead of gummiboot

2016-05-31 17:02:47 +02:00

loader.nix

…