mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-08-25 17:23:56 +02:00
af1b6fa238
Change-Id: If3df1f176ed82475d01a047c3a6d8c0882bb1d76 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.pde.api.tools.prefs | ||
| org.eclipse.pde.prefs | ||