feature/map #1

Merged

kai merged 2 commits from feature/map into main

2022-09-12 01:00:34 +02:00

Author	SHA1	Message	Date
Kai Vogelgesang	16f60f6075	Fix violation of unmined license (distribution)	2022-09-12 00:48:54 +02:00
Kai Vogelgesang	c63eeb83a0	Implement map	2022-09-11 23:16:22 +02:00