| commit | 73305d9f85dff24c4c280738ea4603a6d568b417 | [log] [tgz] |
|---|---|---|
| author | Jakub Josef <jakub.josef@gmail.com> | Wed Jan 10 16:00:58 2018 +0100 |
| committer | Jakub Josef <jakub.josef@gmail.com> | Wed Jan 10 16:00:58 2018 +0100 |
| tree | 32e51696669f480ad61bb2bbbdb1a6737f4ef113 | |
| parent | 4140f98c712694d91096b09fe630db6db9481479 [diff] |
Added description to some Jenkins git mirror pipeline params Change-Id: I7a252720b18a3c8d2c1b72d9037c5f5c88187b58