tree 482e9bfd94cdb68a51c4370805d7785638128da8
parent 9c781e9d314eba4ebda40e2f0b6d756c902b1ccb
author Martin Stockhammer <martin.stockhammer@ars.de> 1523894761 +0200
committer Martin Stockhammer <martin.stockhammer@ars.de> 1523894761 +0200

Adding jenkins pipeline definition