mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-21 23:02:40 +00:00
handling. * include/grub/disk.h (grub_disk_dev_id): Remove obsolete GRUB_DISK_DEVICE_UUID_ID, GRUB_DISK_DEVICE_PXE_ID and GRUB_DISK_DEVICE_FILE_ID.