Leif Liddy 82bcc1db83 display grub menu for minimal and server profiles		2023-10-19 23:07:02 +02:00
..
minimal.xml	display grub menu for minimal and server profiles	2023-10-19 23:07:02 +02:00
server.xml	display grub menu for minimal and server profiles	2023-10-19 23:07:02 +02:00
workstation.xml	reduce grub timeout on workstation to 1	2023-09-21 19:09:54 +02:00