| commit | 82b8cebdf7c14a5e7ac631de82730b5a72a59815 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu Jan 12 15:08:26 2017 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu Jan 12 15:08:26 2017 +0100 |
| tree | 142b470362e916c6c4d022f8c8746533b9666d99 | |
| parent | 0f06de7c557532e7a2cbb12d138bd9b86bf95f2e [diff] |
Bug 510360: Adjust to changes from JDT's Bug 507795