| commit | 75f499930f4776ffbd0db6f735dce769d4024e50 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue Nov 25 17:43:40 2014 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue Nov 25 17:43:40 2014 +0100 |
| tree | 9206a965c31bb02743526c09858190fde7701478 | |
| parent | 3cfd5d1146a695649beb63d6f1e6996e9f067d0e [diff] |
Adjust to changes in JDT/UI