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
Owner
No description provided.
manuel added 2 commits 2023-05-16 03:12:47 +02:00
Clean up the POM in preparation for the ossrh repo.
All checks were successful
continuous-integration/drone/push Build is passing
continuous-integration/drone/pr Build is passing
c63ce409a8
manuel merged commit 90088536ed into master 2023-05-16 03:14:37 +02:00
manuel deleted branch feature/rename-to-maze 2023-05-16 03:14:37 +02:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: java/maze-server#8
No description provided.