| commit | dda7c66e6fb4be55da622c3c91a2f1f12cbaf93d | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Mon Jan 11 12:21:41 2021 +0100 |
| committer | Ed Merks <ed.merks@gmail.com> | Mon Jan 11 12:21:41 2021 +0100 |
| tree | 2e09aa7d10df8a6dfba1bc34b9a4a670d44cab10 | |
| parent | 571248901f1261d0121809e98c8c944cc2fe344e [diff] |
[569513] Setting up platform-ui SDK environment fails. https://bugs.eclipse.org/bugs/show_bug.cgi?id=569513