manuel bc7945d71e atualizar ficheiro de tema do grub		2023-11-20 20:32:02 -01:00
..
boot/grub	atualizar ficheiro de tema do grub	2023-11-20 20:32:02 -01:00
isolinux	…