manuel bf7dad2d07 add deb server splash missing files		2024-05-13 10:32:36 +00:00
..
live-theme	add deb server splash missing files	2024-05-13 10:32:36 +00:00
font.pf2	add deb server splash missing files	2024-05-13 10:32:36 +00:00
grub.cfg	add deb server splash missing files	2024-05-13 10:32:36 +00:00
splash.png	add deb server splash missing files	2024-05-13 10:32:36 +00:00