diff options
author | nsandonato | 2010-08-16 17:59:19 +0000 |
---|---|---|
committer | nsandonato | 2010-08-16 17:59:19 +0000 |
commit | 902590d999b7ad4a7da6a0978f1c519aa24da2b2 (patch) | |
tree | a7c9639de1d10e1fb568cd00aa20d2444923835f | |
parent | b9698ec5302c97492733cdb10b587785faab37c9 (diff) | |
download | webtools.maps-902590d999b7ad4a7da6a0978f1c519aa24da2b2.tar.gz webtools.maps-902590d999b7ad4a7da6a0978f1c519aa24da2b2.tar.xz webtools.maps-902590d999b7ad4a7da6a0978f1c519aa24da2b2.zip |
[320325] [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-ui.map | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/releng.sourceediting/maps/jst-jsp.map b/releng.sourceediting/maps/jst-jsp.map index cc54a9d79..a4dc6ba9d 100644 --- a/releng.sourceediting/maps/jst-jsp.map +++ b/releng.sourceediting/maps/jst-jsp.map @@ -2,7 +2,7 @@ ! This map file is for the WTP 3.2.x maintenance releases ! These bundles are currently being developed and released from the R3_2_maintenance branch -plugin@org.eclipse.jst.jsp.core=v201008091930,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.jst.jsp.core +plugin@org.eclipse.jst.jsp.core=v201008161805,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.jst.jsp.core plugin@org.eclipse.jst.jsp.ui=v201008161749,: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-ui.map b/releng.sourceediting/maps/wst-xml-ui.map index cdca43b07..0b1d7dc24 100644 --- a/releng.sourceediting/maps/wst-xml-ui.map +++ b/releng.sourceediting/maps/wst-xml-ui.map @@ -3,7 +3,7 @@ ! These bundles are currently being developed and released from the R3_2_maintenance branch plugin@org.eclipse.wst.dtd.ui=v201004290328,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.dtd.ui -plugin@org.eclipse.wst.sse.ui=v201008102046,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.sse.ui +plugin@org.eclipse.wst.sse.ui=v201008161805,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.sse.ui plugin@org.eclipse.wst.xml.ui=v201008102046,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xml.ui plugin@org.eclipse.wst.xsd.ui=v201004290328,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/plugins/org.eclipse.wst.xsd.ui |