Michael Raskin d61129a117 Downgrade gnu-efi back: this fixes build of gummiboot without breaking syslinux build		2014-06-30 11:17:19 +04:00
..
default.nix	Downgrade gnu-efi back: this fixes build of gummiboot without breaking syslinux build	2014-06-30 11:17:19 +04:00