grub/grub-core/disk/efi
Vladimir 'phcoder' Serbinenko a176740446 * grub-core/disk/efi/efidisk.c (find_parent_device): Return the parent
even if it's used.
	(name_devices): Replace #if 0 with #ifdef DEBUG_NAMES.
	Skip if parent is unused.
2012-06-09 10:43:24 +02:00
..
efidisk.c * grub-core/disk/efi/efidisk.c (find_parent_device): Return the parent 2012-06-09 10:43:24 +02:00