Christine Poerschke 205f9cc59e Merge the two problem sections in org.eclipse.jdt.core.prefs settings.		2017-01-16 18:42:07 +00:00
..
org.eclipse.core.resources.prefs	…
org.eclipse.jdt.core.prefs	Merge the two problem sections in org.eclipse.jdt.core.prefs settings.	2017-01-16 18:42:07 +00:00
org.eclipse.jdt.ui.prefs	LUCENE-7012: change license header location in new Java files	2016-02-03 21:08:53 +02:00