Move Jenkinsfile to contrib/ci

This commit is contained in:
lemoer 2019-06-17 20:54:57 +02:00 committed by Martin Weinelt
parent 716e3f9f31
commit fb855ea324