Manuel Thalmann b52bc7a506 Fix non-functioning grub installation		2023-04-01 14:17:27 +02:00
..
Arch	Fix non-functioning grub installation	2023-04-01 14:17:27 +02:00
PopOS	Mute output of pushd and popd commands	2023-03-16 20:14:49 +01:00