
plugin@org.eclipse.wst.server.ui.doc.user=v200901232034,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.doc.user
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.servertools.doc.isv=v20090414,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.servertools.doc.isv