Vladimir 'phcoder' Serbinenko 76de44d8ac Merge mainline into install 14 jaren geleden
..
efi 6c2111e96c Adapt common grub-install for efi and use it 14 jaren geleden