diff options
author | david_williams | 2010-07-26 18:23:06 +0000 |
---|---|---|
committer | david_williams | 2010-07-26 18:23:06 +0000 |
commit | 2abe4198665ece86e32fa0a26ebf6787f29f83b1 (patch) | |
tree | a3f3f9f99e198756f472755ce27e9a7620077abe | |
parent | 70ae8dc2e70947c76206f935ae5e8b2f5fbb3b41 (diff) | |
download | webtools.maps-2abe4198665ece86e32fa0a26ebf6787f29f83b1.tar.gz webtools.maps-2abe4198665ece86e32fa0a26ebf6787f29f83b1.tar.xz webtools.maps-2abe4198665ece86e32fa0a26ebf6787f29f83b1.zip |
[320322] [validation] JSP source validators running even when respective batch validators have been turned off
-rw-r--r-- | releng.sourceediting/maps/jst-jsp.map | 2 | ||||
-rw-r--r-- | releng.sourceediting/maps/wst-xml-component-features.map | 2 | ||||
-rw-r--r-- | releng.sourceediting/maps/wst-xml-ui.map | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/releng.sourceediting/maps/jst-jsp.map b/releng.sourceediting/maps/jst-jsp.map index 9754dc3ee..da9361252 100644 --- a/releng.sourceediting/maps/jst-jsp.map +++ b/releng.sourceediting/maps/jst-jsp.map @@ -5,7 +5,7 @@ ! These bundles are currently being developed and released ! from the R3_0_maintenance branch -plugin@org.eclipse.jst.jsp.core=v201007091430,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.jst.jsp.core +plugin@org.eclipse.jst.jsp.core=v201007261820,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.jst.jsp.core plugin@org.eclipse.jst.jsp.ui=v201007091430,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.jst.jsp.ui !***************
\ No newline at end of file diff --git a/releng.sourceediting/maps/wst-xml-component-features.map b/releng.sourceediting/maps/wst-xml-component-features.map index b8fc469c9..e249d4f31 100644 --- a/releng.sourceediting/maps/wst-xml-component-features.map +++ b/releng.sourceediting/maps/wst-xml-component-features.map @@ -14,6 +14,6 @@ feature@org.eclipse.wst.xml_userdoc.feature=v200903310029,:pserver:anonymous@dev !*************** feature@org.eclipse.wst.xml_core.feature.patch=v201007091430,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/features/org.eclipse.wst.xml_core.feature.patch -feature@org.eclipse.wst.xml_ui.feature.patch=v201007091430,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/features/org.eclipse.wst.xml_ui.feature.patch +feature@org.eclipse.wst.xml_ui.feature.patch=v201007261820,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/features/org.eclipse.wst.xml_ui.feature.patch !***************
\ No newline at end of file diff --git a/releng.sourceediting/maps/wst-xml-ui.map b/releng.sourceediting/maps/wst-xml-ui.map index f83d35613..c31a9a100 100644 --- a/releng.sourceediting/maps/wst-xml-ui.map +++ b/releng.sourceediting/maps/wst-xml-ui.map @@ -7,7 +7,7 @@ ! from the R3_0_maintenance branch plugin@org.eclipse.wst.dtd.ui=v200905071842,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.dtd.ui -plugin@org.eclipse.wst.sse.ui=v201006040347,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.sse.ui +plugin@org.eclipse.wst.sse.ui=v201007261820,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.sse.ui plugin@org.eclipse.wst.xml.ui=v201007091430,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xml.ui plugin@org.eclipse.wst.xsd.ui=v200905201703,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xsd.ui |