Domen Kožar cfd507d581 system-boot: configurationLimit should be null as default		2019-07-23 10:20:09 +02:00
..
generations-dir
generic-extlinux-compatible
grub	nixos/install-grub: include child configs in grub menu	2019-07-11 17:38:25 +05:30
init-script
raspberrypi
systemd-boot	system-boot: configurationLimit should be null as default	2019-07-23 10:20:09 +02:00
efi.nix
loader.nix