grub/grub-core/disk/efi
Colin Watson 607319c9ab * grub-core/disk/efi/efidisk.c (grub_efidisk_get_device_name_iter):
Remove no-longer-true __attribute__ ((unused)) on disk parameter.
2013-09-18 15:43:58 +01:00
..
efidisk.c * grub-core/disk/efi/efidisk.c (grub_efidisk_get_device_name_iter): 2013-09-18 15:43:58 +01:00