Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authordavid_williams2008-03-02 06:29:28 +0000
committerdavid_williams2008-03-02 06:29:28 +0000
commitc0daae1cbd641dbefd62539fc49cac2fd9e63fc1 (patch)
tree4a1fc7c67566a178f99df7401343a27c6b0c0e04 /releng.servertools/maps/servertools-docs.map
parent28f088638fbee563cbc3fddf0bbc861d28931c32 (diff)
downloadwebtools.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/maps/servertools-docs.map')
-rw-r--r--releng.servertools/maps/servertools-docs.map5
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

Back to the top