commit e0f3bbad9cbcfefa7c4b3fd35a319302765e98cf
author kprice <kprice> Wed May 14 03:08:23 2008 +0000
committer kprice <kprice> Wed May 14 03:08:23 2008 +0000
tree 308c02a5189f45a5e54ac1d60182af808659aea1
parent 8e1b7d3ea18d68f185ab361243c1eefa9a7e8c10

[225830] adding more java EE documentation. Updating index. Pre-built search index.

releng.jeetools/maps/jeetools-docs.map

diff --git a/releng.jeetools/maps/jeetools-docs.map b/releng.jeetools/maps/jeetools-docs.map
index fca93f0..4cbb4af 100644
--- a/releng.jeetools/maps/jeetools-docs.map
+++ b/releng.jeetools/maps/jeetools-docs.map
@@ -2,5 +2,5 @@
 plugin@org.eclipse.jst.ejb.doc.user=v200805140237,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,ejbtools/docs/org.eclipse.jst.ejb.doc.user
 plugin@org.eclipse.jst.servlet.ui.infopop=v200805140305,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.servlet.ui.infopop
 plugin@org.eclipse.jst.j2ee.infopop=v200805140305,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.j2ee.infopop
-plugin@org.eclipse.jst.j2ee.doc.user=v200805140020,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.j2ee.doc.user
+plugin@org.eclipse.jst.j2ee.doc.user=v200805140408,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.j2ee.doc.user
 plugin@org.eclipse.jst.ejb.ui.infopop=v200804091628,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,ejbtools/docs/org.eclipse.jst.ejb.ui.infopop
\ No newline at end of file