Manuel Thalmann bc16d9607f Fix format of GUIDs		2022-12-14 19:56:04 +01:00
..
game	Allow saving and restoring save games	2022-12-14 13:07:04 +01:00
server	Fix format of GUIDs	2022-12-14 19:56:04 +01:00