Joachim F 7e80c42b0e Merge pull request #18511 from ericsagnes/feat/remove-optionSet ... modules: optionSet -> submodule		2016-10-01 17:57:45 +02:00
..
generations-dir
generic-extlinux-compatible
grub
init-script
raspberrypi
systemd-boot
efi.nix
loader.nix