diff options
author | david_williams | 2008-03-02 06:29:28 +0000 |
---|---|---|
committer | david_williams | 2008-03-02 06:29:28 +0000 |
commit | c0daae1cbd641dbefd62539fc49cac2fd9e63fc1 (patch) | |
tree | 4a1fc7c67566a178f99df7401343a27c6b0c0e04 /releng.servertools | |
parent | 28f088638fbee563cbc3fddf0bbc861d28931c32 (diff) | |
download | webtools.maps-c0daae1cbd641dbefd62539fc49cac2fd9e63fc1.tar.gz webtools.maps-c0daae1cbd641dbefd62539fc49cac2fd9e63fc1.tar.xz webtools.maps-c0daae1cbd641dbefd62539fc49cac2fd9e63fc1.zip |
220867 move user doc out of releng
Diffstat (limited to 'releng.servertools')
-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 |