Kai Vogelgesang 80e32a7887 Merge pull request 'feature/map' (#1) from feature/map into main ... Reviewed-on: #1		2022-09-12 01:00:34 +02:00
frontend	Fix violation of unmined license (distribution)	2022-09-12 00:48:54 +02:00
server	Fix violation of unmined license (distribution)	2022-09-12 00:48:54 +02:00