feature/rename-to-maze #8

Merged

manuel merged 2 commits from feature/rename-to-maze into master

2023-05-16 03:14:37 +02:00

Author	SHA1	Message	Date
Manuel Friedli	c63ce409a8	Clean up the POM in preparation for the ossrh repo.	2023-05-16 03:11:40 +02:00
Manuel Friedli	ca8f2bfec7	Rename all occurrences of "labyrinth" to maze and update dependencies.	2023-05-16 03:01:48 +02:00