I repopulated my workspace with head this morning. The org.mozilla.rhino plugin was still in the workspace. I was expecting it to be removed since Simon's changes.
_______________________________________________ equinox-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/equinox-dev
