Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[platform-ui-dev] API change - IDE needs resources

A change in org.eclipse.core.resources has been released into HEAD,
but it will not be in today's I-build.  If you have org.eclipse.ui.ide
in your workspace, you will probably need o.e.core.resources as well.

PW

-- 
Paul Webster
Hi floor.  Make me a sammich! - GIR


Back to the top