Manuel Thalmann cc5cad8c31 Enable grub on the server		2024-12-05 17:08:41 +01:00
..
machines/manuel	Enable grub on the server	2024-12-05 17:08:41 +01:00
users/manuel	Format all files	2024-11-29 01:15:08 +01:00