Uli Baum 845ae983f6 nixos/iso-image: fix 32bit UEFI boot ... UEFI iso image for i686 didn't boot because the default boot file was incorrectly named bootx32.efi. The correct name is bootia32.efi.		2018-09-23 00:18:50 +02:00
..
cd-dvd	nixos/iso-image: fix 32bit UEFI boot	2018-09-23 00:18:50 +02:00
netboot	reewide: Purge all uses stdenv.system and top-level system	2018-08-30 17:20:32 -04:00
scan	[bot] nixos/*: remove unused arguments in lambdas	2018-07-20 20:56:59 +00:00
tools	nix: 2.1.1 -> 2.1.2	2018-09-20 00:17:45 +02:00
virtualbox-demo.nix	Revert "nixos: rename system.{stateVersion,defaultChannel} -> system.nixos.\1"	2018-07-28 00:12:55 +03:00