| commit | 117dc8031ce56c35cdd36995868b7ab36b012829 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Wed Mar 26 23:20:20 2014 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Wed Mar 26 23:22:16 2014 +0100 |
| tree | 72d195c307e91ab7f82065b1e9b3d36daf25478c | |
| parent | 5961d2e953ce746b2f6ce2761d0da861beb3939b [diff] |
Re-include jdt.ui from BETA_JAVA8 for sign. compatibility -exact version