| commit | 9dcda57a19f90abbddaf2f867fb5415ebc3e0232 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Sat Mar 25 22:30:44 2017 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Sat Mar 25 22:30:44 2017 +0100 |
| tree | 810a25e4f58e922d94787d424d1b1b8e61f6bbdd | |
| parent | a6fb2ad7add1e04a02b39d1339885108c89d8aa4 [diff] |
Disable new JDT index until issues have been sorted out - correcting the mistake in previous commit