From 82bcc1db83f4d4fe46f4a803775b316d38cbf503 Mon Sep 17 00:00:00 2001 From: Leif Liddy Date: Oct 19 2023 21:07:02 +0000 Subject: display grub menu for minimal and server profiles --- diff --git a/platforms/minimal.xml b/platforms/minimal.xml index c9f17fa..8d5c6fb 100644 --- a/platforms/minimal.xml +++ b/platforms/minimal.xml @@ -7,7 +7,7 @@ - + diff --git a/platforms/server.xml b/platforms/server.xml index 2f4a067..db104c0 100644 --- a/platforms/server.xml +++ b/platforms/server.xml @@ -7,7 +7,7 @@ - +