| commit | 52ed71fce38d64c84ed0f430d0d9bcd15f1b89f7 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu Jan 25 22:43:07 2018 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu Jan 25 22:43:07 2018 +0100 |
| tree | dafd5226ed4ee3ae000a9486affadc726c97f629 | |
| parent | 46c3a7112e68a6704241f67f0cd149ea0265cc52 [diff] |
Resolve more compile errors to adjust to change in JDT/UI