Manuel Thalmann dae4c35c2a Remove unwanted desktop icons		2023-07-16 12:46:00 +02:00
..
Arch	Fix installation of grub	2023-07-13 23:11:57 +02:00
Windows	Remove unwanted desktop icons	2023-07-16 12:46:00 +02:00