commit | 8532045c37d85202fc48afaa5dafb340531e2354 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan.herrmann@berlin.de> | Sun Mar 19 20:58:32 2017 +0100 |
committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Sun Mar 19 20:58:32 2017 +0100 |
tree | c4dc67b5eb22264cfd749fe6f34fa7196cb5cb5d | |
parent | 3da4e749786261b8d4702b14c2af143efd1ed340 [diff] |
Disable new JDT index until issues have been sorted out (saw dom tests deadlock and bad performance all throughout our tests)