[jdt-ui-dev] HEAD requires new team plug-in

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[jdt-ui-dev] HEAD requires new team plug-in

From: Daniel Megert <daniel_megert@xxxxxxxxxx>
Date: Wed, 5 Feb 2003 11:32:07 +0100
Delivered-to: jdt-ui-dev@xxxxxxxxxxx
List-archive: <http://dev.eclipse.org/pipermail/jdt-ui-dev/>
List-help: <mailto:jdt-ui-dev-request@eclipse.org?subject=help>
List-subscribe: <http://dev.eclipse.org/mailman/listinfo/jdt-ui-dev>, <mailto:jdt-ui-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <http://dev.eclipse.org/mailman/listinfo/jdt-ui-dev>, <mailto:jdt-ui-dev-request@eclipse.org?subject=unsubscribe>



I released an improved non-shared project filter to HEAD which uses new API
from org.eclipse.team.core. Either use the corresponding plug-in from HEAD
or from the nightly build.

Dani

Prev by Date: [jdt-ui-dev] Heads Up: CHKPII errors
Next by Date: [jdt-ui-dev] [JUnit] SWTException after TestRunnerViewPart has been displayed
Previous by thread: [jdt-ui-dev] Heads Up: CHKPII errors
Next by thread: [jdt-ui-dev] [JUnit] SWTException after TestRunnerViewPart has been displayed
Index(es):
- Date
- Thread

Breadcrumbs