| commit | 67ca2d33bd4c1f33e7b4549da6de1d26cb15aa61 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Jun 06 21:42:27 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Mon Jun 06 21:42:27 2011 +0000 |
| tree | 9ed61b1a5984d49154acd9dea26b2af30cc32665 | |
| parent | 2447824d0ce0654ff6f7cf5ce65fc125baa36007 [diff] |
try to lock our jdt.core to the exact Indigo version of jdt.ui to avoid mixing jdt-with-java7 with *our* Indigo version (which would make Java7 support disappear).