Eelco Dolstra 32bed83b18 Remove boot.loader.grub.timeout and boot.loader.gummiboot.timeout ... There is a generic boot.loader.timeout option.		2016-05-25 11:39:17 +02:00
..
gummiboot-builder.py
gummiboot.nix	Remove boot.loader.grub.timeout and boot.loader.gummiboot.timeout	2016-05-25 11:39:17 +02:00