diff options
Diffstat (limited to 'releng.servertools')
| -rw-r--r-- | releng.servertools/maps/servertools-docs.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.servertools/maps/servertools-docs.map b/releng.servertools/maps/servertools-docs.map index 2a14e9a05..ae5467992 100644 --- a/releng.servertools/maps/servertools-docs.map +++ b/releng.servertools/maps/servertools-docs.map @@ -2,4 +2,4 @@ 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=v200804091629,: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=v200804091629,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.infopop
\ No newline at end of file +plugin@org.eclipse.jst.server.ui.infopop=v200804092211,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.infopop
\ No newline at end of file |