diff options
| author | kprice | 2010-07-14 15:55:24 +0000 |
|---|---|---|
| committer | kprice | 2010-07-14 15:55:24 +0000 |
| commit | 59ff71464456109d41718b3f168b5db7258e4920 (patch) | |
| tree | 22b2d69ef68a6f536ec13098e9277b0ed6c86651 | |
| parent | c747837b645279ca3b18f57c5ea5eef483c1ca37 (diff) | |
| download | webtools.maps-59ff71464456109d41718b3f168b5db7258e4920.tar.gz webtools.maps-59ff71464456109d41718b3f168b5db7258e4920.tar.xz webtools.maps-59ff71464456109d41718b3f168b5db7258e4920.zip | |
[319607] fixing broken link in docs
| -rw-r--r-- | releng.jeetools/maps/jeetools-docs.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.jeetools/maps/jeetools-docs.map b/releng.jeetools/maps/jeetools-docs.map index 339b1dadf..36d0c475c 100644 --- a/releng.jeetools/maps/jeetools-docs.map +++ b/releng.jeetools/maps/jeetools-docs.map @@ -1,4 +1,4 @@ plugin@org.eclipse.wst.web.ui.infopop=v200805140415,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.wst.web.ui.infopop plugin@org.eclipse.jst.servlet.ui.infopop=v200805140415,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.servlet.ui.infopop plugin@org.eclipse.jst.j2ee.infopop=v200805140415,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.j2ee.infopop -plugin@org.eclipse.jst.j2ee.doc.user=v201005192219,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.j2ee.doc.user
\ No newline at end of file +plugin@org.eclipse.jst.j2ee.doc.user=v201007141655,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.j2ee.doc.user
\ No newline at end of file |