manuel 63796b5401 add grub-pc, curl and wget to server package list		2024-09-19 12:21:21 +00:00
..
debsrv	add grub-pc, curl and wget to server package list	2024-09-19 12:21:21 +00:00
devsrv	add cleanup hook to the server builds	2024-08-13 12:51:58 +00:00