mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-23 22:52:11 +02:00
![]() The same logic applies to the refresh operation on referenced projects as it did for the problem markers. It is no longer necessary given the way the build is sequenced and this avoids needless thrashing in the workspace. |
||
---|---|---|
.. | ||
org.eclipse.cdt.make.core | ||
org.eclipse.cdt.make.ui | ||
org.eclipse.cdt.managedbuilder.core | ||
org.eclipse.cdt.managedbuilder.core.tests | ||
org.eclipse.cdt.managedbuilder.ui |