Re: jenkins job for oak-doc

[Michael Dürig]

On 7.8.15 11:34 , Davide Giannella wrote:

@Micheal D: can you give rights in jenkins for creating/modifying jobs

Done.

Michael