archboot/usr
2014-06-21 23:07:27 +02:00
..
bin Keshav: Do not delete IA32 EFI boot files 2014-06-21 23:07:27 +02:00
lib/initcpio/install fix blkdiscard 2014-06-20 22:06:31 +02:00
share/archboot Keshav: Use /EFI/BOOT instead of /EFI/boot due to case-sensitivity issues 2014-06-21 23:06:20 +02:00