hi, I just noticed that /opt/public/cbi has moved to /opt/public/cbi.deleteme on build.eclipse.org
can anybody shed some light on what's happening? thanks! Jacek _______________________________________________ dash-dev mailing list dash-dev@eclipse.org https://dev.eclipse.org/mailman/listinfo/dash-dev