Alexei Robyn fd9dec7177 nixos/grub: Add defaultText for font option ... Fixes #62602.		2019-06-03 22:19:44 +10:00
..
generations-dir
generic-extlinux-compatible
grub	nixos/grub: Add defaultText for font option	2019-06-03 22:19:44 +10:00
init-script
raspberrypi
systemd-boot	Merge pull request #61036 from cdepillabout/nixos-memtest-loader	2019-05-20 21:42:40 -05:00
efi.nix
loader.nix