diff options
| author | Nitin Dahyabhai | 2012-10-24 20:36:34 +0000 |
|---|---|---|
| committer | Nitin Dahyabhai | 2012-10-24 20:36:34 +0000 |
| commit | e976defb87a7676d69b9b861da9465f80a7eba12 (patch) | |
| tree | aade05def5f06e52f1987e1ccc78d1a806ab4cdd | |
| parent | 992bb3eba81810838cae29f368acdafe7f886773 (diff) | |
| download | webtools.maps-e976defb87a7676d69b9b861da9465f80a7eba12.tar.gz webtools.maps-e976defb87a7676d69b9b861da9465f80a7eba12.tar.xz webtools.maps-e976defb87a7676d69b9b861da9465f80a7eba12.zip | |
[nobug] HTMLValidator backward compatibility
| -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 18d87c3c1..58e078169 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=v201204190200,repo=git://git.eclipse.org/gitroot/jeetools/webtools.javaee.git,path=plugins/org.eclipse.wst.web plugin@org.eclipse.wst.css.core=GIT,tag=v201210192049,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=v201210241859,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=v201210242035,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.html.core !*************** |