manuel 41775f0ed1 add loaded and server builds and start mini as well		2024-05-09 13:10:35 +00:00
..
06copy-files-to-cdrom	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
07grub-config	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
07update-system	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00