| commit | 5be9c75ff7ec053e9c6255914d10120240451ea7 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Sat Mar 03 19:53:40 2018 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Sun Mar 11 14:44:22 2018 +0100 |
| tree | ca0cd6276086d7ff31aa970cefad630b73066867 | |
| parent | 2b8243eaaf5cfecbb3ce624703452311de7f90b2 [diff] |
Update jdt.core to I20180301-2000 + adjust to changes in jdt.{ui,core.manipulation}