mirror of
https://github.com/eclipse-cdt/cdt
synced 2024-10-28 20:17:52 +01:00
9286a1a483
Change-Id: I7a76bb65badee7a949e3d0e9abc27ced228e9b7d |
||
---|---|---|
.. | ||
org.eclipse.jdt.core.prefs | ||
org.eclipse.pde.api.tools.prefs | ||
org.eclipse.pde.prefs |