mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-21 21:52:10 +02:00
![]() This also removes the duplicated infra and releng code that is no longer needed in merged repo Change-Id: Ia5c52c7b087ed2612ed505c37ae00c9c6efe1f4f |
||
---|---|---|
.. | ||
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 |