diff options
author | Nick Sandonato | 2013-07-31 15:33:50 +0000 |
---|---|---|
committer | Nick Sandonato | 2013-07-31 15:33:50 +0000 |
commit | 57b2b309fc309cd8db958d35a1d9a5af85a594da (patch) | |
tree | 64d8a18fff3daeb45daa2ff6a1b8680843305f50 | |
parent | e0c3c2a29443eebff09970342e72592ace8b2147 (diff) | |
download | webtools.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.map | 2 |
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 !*************** |