Andrey Borzenkov 44016e527a * grub-core/disk/efi/efidisk.c (grub_efidisk_get_device_name): ... Handle CD-ROMs.		2013-10-14 17:06:39 +02:00
..
efidisk.c	* grub-core/disk/efi/efidisk.c (grub_efidisk_get_device_name):	2013-10-14 17:06:39 +02:00