Manuel Thalmann 14261d8dd2 Fix installation of grub		2023-07-13 23:11:57 +02:00
..
install.sh	Fix installation of grub	2023-07-13 23:11:57 +02:00
partition.sh	Fix permissions of files	2023-07-13 21:30:43 +02:00
setup.sh	Prevent EFI formatting for dual boot	2023-07-12 23:30:00 +02:00