summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNick Sandonato2013-07-10 10:43:46 (EDT)
committerNick Sandonato2013-07-10 10:43:46 (EDT)
commit34ec7cee6498995072ea4f5d009c6f07edac32ed (patch)
treea27b49f723784251fa35f2932f8d6901d911ca65
parentf934c3d29d1a463ab617f8ec929be82fec7c5785 (diff)
downloadwebtools.maps-34ec7cee6498995072ea4f5d009c6f07edac32ed.zip
webtools.maps-34ec7cee6498995072ea4f5d009c6f07edac32ed.tar.gz
webtools.maps-34ec7cee6498995072ea4f5d009c6f07edac32ed.tar.bz2
[408164] Wrong warning for HTML5 input type: Undefined attribute value (url/color/week)
-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 7aa35d2..4c3b7c2 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=v201307100319,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=v201307100319,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=v201307101442,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.html.core
!***************