Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNick Sandonato2013-07-31 15:33:50 +0000
committerNick Sandonato2013-07-31 15:33:50 +0000
commit57b2b309fc309cd8db958d35a1d9a5af85a594da (patch)
tree64d8a18fff3daeb45daa2ff6a1b8680843305f50
parente0c3c2a29443eebff09970342e72592ace8b2147 (diff)
downloadwebtools.maps-57b2b309fc309cd8db958d35a1d9a5af85a594da.tar.gz
webtools.maps-57b2b309fc309cd8db958d35a1d9a5af85a594da.tar.xz
webtools.maps-57b2b309fc309cd8db958d35a1d9a5af85a594da.zip
[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 79851c469..4dc7d8404 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
!***************

Back to the top