Vladimir Serbinenko 6dc3337774 Fix definition of grub_efi_hard_drive_device_path. Take care that
existing code would work even if by some reason bogus definition is
	used by EFI implementations.
2013-12-14 22:04:02 +01:00
..
2013-04-25 22:42:35 +02:00
2012-04-18 23:11:33 +02:00
2012-03-26 16:10:40 +02:00