tree 98b9197f12d6388e1caee7192f3c1eb5aee015ca
parent 757930931d94b30ceed2133828f4733ecef2b37f
author Martin Stockhammer <martin.stockhammer@ars.de> 1523894629 +0200
committer Martin Stockhammer <martin.stockhammer@ars.de> 1523894629 +0200

Adding jenkins pipeline definition