manuel 994059c0d1 atualizar ficheiros de bootloader		2023-11-18 13:16:58 -01:00
..
boot/grub	atualizar ficheiros de bootloader	2023-11-18 13:16:58 -01:00
isolinux	atualizar ficheiros de bootloader	2023-11-18 13:16:58 -01:00