diff options
| author | kprice | 2008-05-12 21:09:15 +0000 |
|---|---|---|
| committer | kprice | 2008-05-12 21:09:15 +0000 |
| commit | 378997841852e937640af282693310bf293c3833 (patch) | |
| tree | f7c13ce44b83d0430369fec9ecb156d962ab3685 /releng.servertools | |
| parent | 1be7fb4d92fe6fe83d249f52564e0307e2512898 (diff) | |
| download | webtools.maps-378997841852e937640af282693310bf293c3833.tar.gz webtools.maps-378997841852e937640af282693310bf293c3833.tar.xz webtools.maps-378997841852e937640af282693310bf293c3833.zip | |
[229175] server tools doc updates for jst 3.0vI20080512233155
Diffstat (limited to 'releng.servertools')
| -rw-r--r-- | releng.servertools/maps/servertools-docs.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.servertools/maps/servertools-docs.map b/releng.servertools/maps/servertools-docs.map index 29abace9f..723450d66 100644 --- a/releng.servertools/maps/servertools-docs.map +++ b/releng.servertools/maps/servertools-docs.map @@ -1,5 +1,5 @@ plugin@org.eclipse.wst.server.ui.doc.user=v200805122159,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.doc.user plugin@org.eclipse.wst.server.ui.infopop=v200805122135,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.infopop -plugin@org.eclipse.jst.server.ui.doc.user=v200802061911,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.doc.user +plugin@org.eclipse.jst.server.ui.doc.user=v200805122208,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.doc.user plugin@org.eclipse.jst.server.ui.infopop=v200804092211,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.infopop
\ No newline at end of file |