| commit | c0faff45d8b6c888ef80754ca448068c9fc871d6 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu Dec 06 18:41:04 2018 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu Dec 06 18:41:04 2018 +0100 |
| tree | 2c20ba9ba87fcfe5fe9bc72641890e0c5b36a245 | |
| parent | b37e97ed48bf43f330d19fc487d0c186b747581c [diff] [blame] |
Releng: update jdt.core to I20181206-0815 (candidate 4.10 RC2) Change-Id: Ida2cdecd963b8c11ba64ac6daad63ec951baa282
diff --git a/org.eclipse.jdt.core/.options b/org.eclipse.jdt.core/.options index 1549d65..443e2fd 100644 --- a/org.eclipse.jdt.core/.options +++ b/org.eclipse.jdt.core/.options
@@ -1,5 +1,5 @@ # Turn on debug tracing for org.eclipse.jdt.core plugin -org.eclipse.jdt.core/debug=true +org.eclipse.jdt.core/debug=false # Reports buffer manager activity org.eclipse.jdt.core/debug/buffermanager=false