commit cf0b412edbbf2ae8826f927ec4df2f5328c601a7
author david_williams <david_williams> Tue Mar 25 04:06:20 2008 +0000
committer david_williams <david_williams> Tue Mar 25 04:06:20 2008 +0000
tree 3023b4c31476f4ff89e497c028ff09fbcdf6c978
parent 6fbeddc4f55a3fce5a30a899e8f6faafcae617cf

fixes for validation and facets version changes

releng.sourceediting/maps/wst-jsdt.map

diff --git a/releng.sourceediting/maps/wst-jsdt.map b/releng.sourceediting/maps/wst-jsdt.map
index 14fa748..7ff274f 100644
--- a/releng.sourceediting/maps/wst-jsdt.map
+++ b/releng.sourceediting/maps/wst-jsdt.map
@@ -12,7 +12,7 @@
 plugin@org.eclipse.wst.jsdt.support.firefox=v200803102008,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.support.firefox
 plugin@org.eclipse.wst.jsdt.support.ie=v200803102008,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.support.ie
 plugin@org.eclipse.wst.jsdt.ui=v200803122310,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.ui
-plugin@org.eclipse.wst.jsdt.web.core=v200803102008,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.core
+plugin@org.eclipse.wst.jsdt.web.core=v200803250340,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.core
 plugin@org.eclipse.wst.jsdt.web.support.jsp=v200803102008,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.support.jsp
 plugin@org.eclipse.wst.jsdt.web.ui=v200803102008,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.jsdt.web.ui