tree 6c5ac1eb9364e1d28634bda22b7c78366773d1b7
parent 2caa7db509d0ca55eef49d29ea4e610d14333ccb
author Martin Stockhammer <martin.stockhammer@ars.de> 1523894504 +0200
committer Martin Stockhammer <martin.stockhammer@ars.de> 1523894504 +0200

Adding jenkins pipeline definition