tree 2028972a4510b9b8f7eebeffa4ff475d4a608714
parent 03fb9c7a44159ad8e0e0c9701eeb14a351e3251f
author Martin Stockhammer <martin.stockhammer@ars.de> 1523895815 +0200
committer Martin Stockhammer <martin.stockhammer@ars.de> 1523895815 +0200

Adding jenkins pipeline definition