diff options
| author | kprice | 2011-04-11 14:54:52 +0000 |
|---|---|---|
| committer | kprice | 2011-04-11 14:54:52 +0000 |
| commit | 693d7511b0cd931b7ac3ef2cf17e0792aee9b8f4 (patch) | |
| tree | 00d15462d8e0218025df9982bc74341096f53a38 /releng.servertools | |
| parent | b25e1f5002b6c882c9930faedbbb1be336e376c7 (diff) | |
| download | webtools.maps-693d7511b0cd931b7ac3ef2cf17e0792aee9b8f4.tar.gz webtools.maps-693d7511b0cd931b7ac3ef2cf17e0792aee9b8f4.tar.xz webtools.maps-693d7511b0cd931b7ac3ef2cf17e0792aee9b8f4.zip | |
[323428] Documentation improvements for org.eclipse.wst.server.ui.doc.user
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 d7a2dcc3e..49a63fc77 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=v201005192125,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.doc.user +plugin@org.eclipse.wst.server.ui.doc.user=v201104111553,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.doc.user plugin@org.eclipse.wst.server.ui.infopop=v201005192130,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.infopop plugin@org.eclipse.jst.server.ui.doc.user=v201005192218,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.doc.user plugin@org.eclipse.jst.server.ui.infopop=v200805140145,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.infopop |