[platform-ui-dev] IDE requires latest resources

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

[platform-ui-dev] IDE requires latest resources

From: John Arthorne <John_Arthorne@xxxxxxxxxx>
Date: Tue, 24 Jan 2006 15:38:01 -0500
Delivered-to: platform-ui-dev@xxxxxxxxxxx
List-archive: <http://eclipse.org/pipermail/platform-ui-dev>
List-help: <mailto:platform-ui-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/listinfo/platform-ui-dev>, <mailto:platform-ui-dev-request@eclipse.org?subject=unsubscribe>

I have released a change in org.eclipse.ui.ide that requires org.eclipse.core.resources from this week's I-build. If you are running with an older build and you have org.eclipse.ui.ide in your workspace, you will need to load org.eclipse.core.resources from HEAD.

https://bugs.eclipse.org/bugs/show_bug.cgi?id=123989

John

Prev by Date: Re: [platform-ui-dev] Build submission (I20060124-0800)
Next by Date: [platform-ui-dev] Restore a workbenchpage with an external memento.xml without closing eclipse 3.1
Previous by thread: [platform-ui-dev] Build submission (I20060124-0800)
Next by thread: [platform-ui-dev] Restore a workbenchpage with an external memento.xml without closing eclipse 3.1
Index(es):
- Date
- Thread

Breadcrumbs