diff options
| author |   Gourdin Jonathan <jonathan.gourdin@orange.com> | 2018-01-12 11:35:19 +0100 |
|---|---|---|
| committer | Gourdin Jonathan <jonathan.gourdin@orange.com> | 2018-01-12 15:22:42 +0100 |
| commit | 414a03af7951dc69703d57e43f3f91d2aca0a005 (patch) | |
| tree | 7a73011be99f4555d232f293e6bf9f2346b6739d /tools/moon_jenkins/plugins.txt | |
| parent | 5d325dfc5d666b345b6555ea9dc4ab3af853be67 (diff) | |
Fix GUI
Change-Id: I909038e8d00c97b9e19c97b13836407649b5dc96
Diffstat (limited to 'tools/moon_jenkins/plugins.txt')
0 files changed, 0 insertions, 0 deletions