mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-29 19:45:01 +02:00
![]() Note that memory/org.eclipse.cdt.debug.ui.memory.traditional/.settings/.api_filters needs to be kept because: 1- it removes warnings about implementing provisional APIs 2- that plugin sets warnings as errors, so warnings are not allowed Change-Id: Id4bcc9cd78c4c6678ef749cfe276e5a9945efa1e Signed-off-by: Marc Khouzam <marc.khouzam@ericsson.com> |
||
---|---|---|
.. | ||
org.eclipse.jdt.core.prefs | ||
org.eclipse.jdt.ui.prefs | ||
org.eclipse.pde.api.tools.prefs |