![]() Use the same JDT core settings as used in org.eclipse.jgit but ignore non-externalized strings. Change-Id: If30013c76a197e571601a8abc882ac6a99592374 Signed-off-by: Matthias Sohn <matthias.sohn@sap.com> |
||
---|---|---|
.. | ||
.api_filters | ||
org.eclipse.core.resources.prefs | ||
org.eclipse.core.runtime.prefs | ||
org.eclipse.jdt.core.prefs | ||
org.eclipse.jdt.ui.prefs | ||
org.eclipse.mylyn.tasks.ui.prefs | ||
org.eclipse.mylyn.team.ui.prefs | ||
org.eclipse.pde.api.tools.prefs | ||
org.eclipse.pde.core.prefs |