tree 963428c455f3a6e453067e7923a703aa079c2335
parent 3cb39792e7c8050b49da5fa5e95b990fe7407a7a
author Martin Stockhammer <m.stockhammer@web.de> 1574005216 +0100
committer Martin Stockhammer <m.stockhammer@web.de> 1574006280 +0100

Adding information and flag for local jenkins run