tree de9af7eb6166818146f39c1545ca75d53b00c9a8
parent c614fff46199b7cbc2c3f8e4fd87e3ae708d809d
parent 1bb7f44575285ecd82986a453dbc0456285e7693
author Jakub Josef <jakub.josef@gmail.com> 1496055517 +0000
committer Gerrit Code Review <gerrit2@5776b83a74fe> 1496055517 +0000

Merge "Added jenkins master configuration possibility"