manuel 41775f0ed1 add loaded and server builds and start mini as well		2024-05-09 13:10:35 +00:00
..
deb_32/themes/peppermint	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
deb_64/themes/peppermint	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
deb_64ld/themes/peppermint	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
deb_64min/themes/peppermint	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
deb_64srv/themes/peppermint	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
deb_arm/themes/peppermint	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
dev_32/themes/peppermint	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
dev_64/themes/peppermint	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
dev_64ld/themes/peppermint	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
dev_64min/themes/peppermint	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
dev_64srv/themes/peppermint	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
dev_arm/themes/peppermint	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