| commit | cbf6ffce0d280ca050d6b804811f1a5d5658116f | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Fri Jan 03 13:49:18 2014 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Fri Jan 03 13:49:18 2014 +0100 |
| tree | 0a18222968544715b79bddb61b2ea98de9cf8e25 | |
| parent | 58400bc6bec96e5ac6e2825a9446d7742aae9da2 [diff] |
Adopt JDT/UI BETA_JAVA8 (and include in the build for now).