Manuel Thalmann f0eec78de5 Reorder steps for installing grub properly		2023-07-13 21:05:39 +02:00
..
minegrub-theme.sh	Add a script for configuring GRUB to use minegrub	2023-04-04 00:25:58 +02:00
setup.sh	Reorder steps for installing grub properly	2023-07-13 21:05:39 +02:00