mirror of
https://github.com/eclipse-cdt/cdt
synced 2024-10-28 12:09:40 +01:00
5e1451a607
Change-Id: I68f3b861b4326adf6da4f9d074a314628c7e8fef Signed-off-by: Martin Weber <fifteenknots505@gmail.com> |
||
---|---|---|
.. | ||
org.eclipse.core.resources.prefs | ||
org.eclipse.jdt.core.prefs | ||
org.eclipse.jdt.launching.prefs | ||
org.eclipse.jdt.ui.prefs | ||
org.eclipse.m2e.core.prefs | ||
org.eclipse.pde.api.tools.prefs | ||
org.eclipse.pde.prefs |