manuel 41775f0ed1 add loaded and server builds and start mini as well		2024-05-09 13:10:35 +00:00
..
grub	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00