]> WPIA git - motion.git/commitdiff
Merge branch 'jenkins' into 'master'
authorFelix Dörre <felix@dogcraft.de>
Mon, 5 Oct 2020 09:09:06 +0000 (11:09 +0200)
committerFelix Dörre <felix@dogcraft.de>
Mon, 5 Oct 2020 09:09:06 +0000 (11:09 +0200)
add: configuration for Jenkins

See merge request felixdoerre/motion!18


Trivial merge