diff options
Diffstat (limited to 'releng.servertools/maps')
| -rw-r--r-- | releng.servertools/maps/wst-server-component-features.map | 6 | ||||
| -rw-r--r-- | releng.servertools/maps/wst-server-ui.map | 2 |
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 |