Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authoravera2008-05-22 13:05:21 -0400
committeravera2008-05-22 13:05:21 -0400
commit254dcea10bfc6bea9f1a96ac74081c38af281294 (patch)
tree57c2830e52392f6832b10a34faa055d8823b0a75
parentae379799a93ab772a469599e74cab934eff0c837 (diff)
downloadwebtools.maps-254dcea10bfc6bea9f1a96ac74081c38af281294.tar.gz
webtools.maps-254dcea10bfc6bea9f1a96ac74081c38af281294.tar.xz
webtools.maps-254dcea10bfc6bea9f1a96ac74081c38af281294.zip
[233264] Javadoc contents not searchable - plugin.xml needs all TOCs listedvS20080522174935
-rw-r--r--releng.servertools/maps/servertools-docs.map2
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.servertools/maps/servertools-docs.map b/releng.servertools/maps/servertools-docs.map
index be358df04..f1576c6c4 100644
--- a/releng.servertools/maps/servertools-docs.map
+++ b/releng.servertools/maps/servertools-docs.map
@@ -3,4 +3,4 @@ plugin@org.eclipse.wst.server.ui.doc.user=v200805150133,:pserver:anonymous@dev.e
plugin@org.eclipse.wst.server.ui.infopop=v200805140145,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.infopop
plugin@org.eclipse.jst.server.ui.doc.user=v200805150133,: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
-plugin@org.eclipse.server.doc.isv=v20080515,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.server.doc.isv \ No newline at end of file
+plugin@org.eclipse.server.doc.isv=v20080522,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.server.doc.isv \ No newline at end of file

Back to the top