diff options
author | Nitin Dahyabhai | 2013-07-10 03:32:37 +0000 |
---|---|---|
committer | Nitin Dahyabhai | 2013-07-10 03:32:37 +0000 |
commit | d5116c80f12a9929f5f85843574b39c686bd8c6f (patch) | |
tree | f54fb306e435cfdd33b58b0eb81585e619b8db80 /releng.sourceediting/maps/wst-web-core.map | |
parent | 3dc0a557e492f5e5f55fa3a4b717caafaa9fba4e (diff) | |
download | webtools.maps-d5116c80f12a9929f5f85843574b39c686bd8c6f.tar.gz webtools.maps-d5116c80f12a9929f5f85843574b39c686bd8c6f.tar.xz webtools.maps-d5116c80f12a9929f5f85843574b39c686bd8c6f.zip |
merge from master
Diffstat (limited to 'releng.sourceediting/maps/wst-web-core.map')
-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 0d787e3b4..dc036369c 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=v201301292217,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=v201304301743,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=v201307100319,repo=git://git.eclipse.org/gitroot/sourceediting/webtools.sourceediting.git,path=bundles/org.eclipse.wst.html.core !*************** |