David Vogel dddaad938f Fix release archive using wrong path delimiter ... This caused the files in the .zip file to appear flattened when opened with 7zip.		2024-02-08 11:48:32 +01:00
..
dist	Fix release archive using wrong path delimiter	2024-02-08 11:48:32 +01:00