manuel 88bb0d7457 update files and scripts to fix erros in the loaded, server and mini builds		2024-05-12 23:15: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_arm/themes/peppermint	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
debld_64/themes/peppermint	update files and scripts to fix erros in the loaded, server and mini builds	2024-05-12 23:15:35 +00:00
debmin_32/themes/peppermint	update files and scripts to fix erros in the loaded, server and mini builds	2024-05-12 23:15:35 +00:00
debmin_64/themes/peppermint	update files and scripts to fix erros in the loaded, server and mini builds	2024-05-12 23:15:35 +00:00
debsrv_64/themes/peppermint	update files and scripts to fix erros in the loaded, server and mini builds	2024-05-12 23:15: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_arm/themes/peppermint	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00
devld_64/themes/peppermint	update files and scripts to fix erros in the loaded, server and mini builds	2024-05-12 23:15:35 +00:00
devmin_32/themes/peppermint	update files and scripts to fix erros in the loaded, server and mini builds	2024-05-12 23:15:35 +00:00
devmin_64/themes/peppermint	update files and scripts to fix erros in the loaded, server and mini builds	2024-05-12 23:15:35 +00:00
devsrv_64/themes/peppermint	update files and scripts to fix erros in the loaded, server and mini builds	2024-05-12 23:15:35 +00:00
grub	add loaded and server builds and start mini as well	2024-05-09 13:10:35 +00:00