final tweaks.
authorErik Brakkee <erik@brakkee.org>
Sat, 24 Sep 2022 16:57:01 +0000 (18:57 +0200)
committerErik Brakkee <erik@brakkee.org>
Sat, 24 Sep 2022 16:57:01 +0000 (18:57 +0200)
commit3ff86ab64fad078bd6c9441ee0bd83e9c537141d
tree510b2d34e844e560855d525c3f55f2364e68bf9a
parentc7563dbd45dee95101b2d7562cd8fbe809075c28
final tweaks.
Jenkinsfile