diff options
| author | kkomissarchik | 2006-07-12 15:58:46 +0000 |
|---|---|---|
| committer | kkomissarchik | 2006-07-12 15:58:46 +0000 |
| commit | d333620ca6fadd48e257af56265cd01166da3337 (patch) | |
| tree | 10762236d354bca71b91145280e9435bd1815213 /releng.servertools | |
| parent | 51a54cdf9716c123e7b4dedb222b7d2ace5a9497 (diff) | |
| download | webtools.maps-d333620ca6fadd48e257af56265cd01166da3337.tar.gz webtools.maps-d333620ca6fadd48e257af56265cd01166da3337.tar.xz webtools.maps-d333620ca6fadd48e257af56265cd01166da3337.zip | |
115351 | [UI] Need wizard banner for the Add/Remove Facets Wizard
Diffstat (limited to 'releng.servertools')
| -rw-r--r-- | releng.servertools/maps/jst-server.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.servertools/maps/jst-server.map b/releng.servertools/maps/jst-server.map index cec85ca83..7bb5482c2 100644 --- a/releng.servertools/maps/jst-server.map +++ b/releng.servertools/maps/jst-server.map @@ -1,7 +1,7 @@ !*************** jst-server.map plugin@org.eclipse.jst.server.core=v20060710,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jst/components/server/plugins/org.eclipse.jst.server.core -plugin@org.eclipse.jst.server.ui=v200607041641,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jst/components/server/plugins/org.eclipse.jst.server.ui +plugin@org.eclipse.jst.server.ui=v200607121558,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jst/components/server/plugins/org.eclipse.jst.server.ui plugin@org.eclipse.jst.server.generic.core=v200606130315,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jst/components/server/plugins/org.eclipse.jst.server.generic.core plugin@org.eclipse.jst.server.generic.ui=v200606130315,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jst/components/server/plugins/org.eclipse.jst.server.generic.ui |