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-builder.py: run nix with no build-users-group	2014-12-29 07:09:10 -05:00
gummiboot.nix	Remove boot.loader.grub.timeout and boot.loader.gummiboot.timeout	2016-05-25 11:39:17 +02:00