grub/grub-core/disk/efi
Vladimir 'phcoder' Serbinenko 3fcb410549 Fix a double device name
2010-09-08 20:39:57 +02:00
..
efidisk.c Fix a double device name 2010-09-08 20:39:57 +02:00