Christian Berendt 02a4c88375 Make Jenkins jobs workable
Change-Id: I0e90aca845b51a270d171dcbc9716891c77efae9
2014-12-10 18:26:50 +01:00
..
2014-12-10 18:26:50 +01:00