summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNick Sandonato2013-07-31 11:33:50 (EDT)
committerNick Sandonato2013-07-31 11:34:40 (EDT)
commit98dafe21732aa2cd4f776e8673a904399ab09aae (patch)
treef528bd072982add0e518ed00f2c512d106faf568
parent7f9b6af69d9a5b6ff16a7497d5277b70d7e180f7 (diff)
downloadwebtools.maps-98dafe21732aa2cd4f776e8673a904399ab09aae.zip
webtools.maps-98dafe21732aa2cd4f776e8673a904399ab09aae.tar.gz
webtools.maps-98dafe21732aa2cd4f776e8673a904399ab09aae.tar.bz2
[409827] Wrong warning for HTML 5 'required' attribute for 'select' tag
-rw-r--r--releng.sourceediting/maps/wst-web-core.map2
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.sourceediting/maps/wst-web-core.map b/releng.sourceediting/maps/wst-web-core.map
index 6184db7..6700246 100644
--- a/releng.sourceediting/maps/wst-web-core.map
+++ b/releng.sourceediting/maps/wst-web-core.map
@@ -4,6 +4,6 @@
plugin@org.eclipse.wst.web=GIT,tag=v201305311600,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.wst.web
plugin@org.eclipse.wst.css.core=GIT,tag=v201307311518,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.css.core
-plugin@org.eclipse.wst.html.core=GIT,tag=v201307311419,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.html.core
+plugin@org.eclipse.wst.html.core=GIT,tag=v201307311532,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.html.core
!***************