grub/grub-core/disk/efi
2013-04-05 10:59:26 +02:00
..
efidisk.c Replace 8 with GRUB_CHAR_BIT in several places when appropriate. 2013-04-05 10:59:26 +02:00