tree 6ee501301bf7cfa1df9cbd54a8d01a6f8fc750fe
parent 9196a6a0d101eb5ebb774294ffd937312334ec79
author Hugo Hirsch <github@hugo-hirsch.de> 1603050084 +0200
committer Hugo Hirsch <github@hugo-hirsch.de> 1603050084 +0200

Adapt to new Maven name in Jenkins