tree c3c70776e6cc60918c9c70d334c9c7d6adfb9362
parent feced565a44005586ecfb0d90fd28bde86a826ac
author stripodi <stripodi@simos-mbp> 1556317916 +0200
committer stripodi <stripodi@simos-mbp> 1556317916 +0200

added missing jenkinsfile