Skip to content

Correctly update maven wrapper#40

Merged
JanWittler merged 1 commit intomainfrom maven-wrapperAug 30, 2022

Commits

Commits on Aug 30, 2022