Adapt to new Maven name in Jenkins
authorHugo Hirsch <github@hugo-hirsch.de>
Sun, 18 Oct 2020 19:41:24 +0000 (21:41 +0200)
committerHugo Hirsch <github@hugo-hirsch.de>
Sun, 18 Oct 2020 19:41:24 +0000 (21:41 +0200)
commit6a33d8cdd3060b3fea26b2ae63f9900f991ca52a
tree6ee501301bf7cfa1df9cbd54a8d01a6f8fc750fe
parent9196a6a0d101eb5ebb774294ffd937312334ec79
Adapt to new Maven name in Jenkins
Jenkinsfile