Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'releng.servertools')
-rw-r--r--releng.servertools/maps/wst-server-component-features.map6
-rw-r--r--releng.servertools/maps/wst-server-ui.map2
2 files changed, 6 insertions, 2 deletions
diff --git a/releng.servertools/maps/wst-server-component-features.map b/releng.servertools/maps/wst-server-component-features.map
index 11d597303..47dabe22c 100644
--- a/releng.servertools/maps/wst-server-component-features.map
+++ b/releng.servertools/maps/wst-server-component-features.map
@@ -11,4 +11,8 @@ feature@org.eclipse.wst.server_userdoc.feature=GIT,tag=v20120830_2320,repo=git:/
feature@org.eclipse.wst.server_adapters.feature=GIT,tag=v20120821_1517,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=features/org.eclipse.wst.server_adapters.feature
feature@org.eclipse.wst.server_adapters.sdk.feature=GIT,tag=v20120823_1714,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=features/org.eclipse.wst.server_adapters.sdk.feature
-!*************** \ No newline at end of file
+!***************
+
+feature@org.eclipse.wst.server_ui.feature.patch=GIT,tag=v20121031_1454,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=features/org.eclipse.wst.server_ui.feature.patch
+
+!*************** \ No newline at end of file
diff --git a/releng.servertools/maps/wst-server-ui.map b/releng.servertools/maps/wst-server-ui.map
index 829b94f69..714bc2027 100644
--- a/releng.servertools/maps/wst-server-ui.map
+++ b/releng.servertools/maps/wst-server-ui.map
@@ -5,7 +5,7 @@
plugin@org.eclipse.wst.internet.monitor.ui=GIT,tag=v20120306_1603,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.internet.monitor.ui
-plugin@org.eclipse.wst.server.ui=GIT,tag=v20120821_1330,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.ui
+plugin@org.eclipse.wst.server.ui=GIT,tag=v20121031_1454,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.ui
plugin@org.eclipse.wst.server.http.ui=GIT,tag=v20120821_1517,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.http.ui
plugin@org.eclipse.wst.server.discovery=GIT,tag=v20120403_0949,repo=git://git.eclipse.org/gitroot/servertools/webtools.servertools.git,path=plugins/org.eclipse.wst.server.discovery

Back to the top