diff options
Diffstat (limited to 'releng.servertools/maps/servertools-docs.map')
| -rw-r--r-- | releng.servertools/maps/servertools-docs.map | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/releng.servertools/maps/servertools-docs.map b/releng.servertools/maps/servertools-docs.map new file mode 100644 index 000000000..43c5a6cad --- /dev/null +++ b/releng.servertools/maps/servertools-docs.map @@ -0,0 +1,5 @@ + +plugin@org.eclipse.wst.server.ui.doc.user=v200802061937,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.doc.user +plugin@org.eclipse.wst.server.ui.infopop=v200802061917,: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.infopop=v200801152313,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.infopop |