| commit | f82b72f52dcc841fe1c81656e731c9eac5aa5594 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Sat Apr 13 19:20:39 2019 +0200 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Sat Apr 13 19:20:39 2019 +0200 |
| tree | 2c27ac52e357caa24bbb5e79a66082516c545b59 | |
| parent | fe07c0320f2f0850a85052911261e538725a3f52 [diff] |
Releng: use previous SDK for installing the previous compiler into - try to get latest jdt.ui as required plugin, not via feature