diff options
| author | kprice | 2008-05-08 21:07:04 +0000 |
|---|---|---|
| committer | kprice | 2008-05-08 21:07:04 +0000 |
| commit | a3fbbdbb33a108df8017ff347ddc5e736935d57c (patch) | |
| tree | 5179bc5b16a9aaaabd160d75fe8fb8f7966300bf /releng.sourceediting/maps/sourceediting-docs.map | |
| parent | 513d7317304f5a71f250f8b7ce0e28efc799d7b3 (diff) | |
| download | webtools.maps-a3fbbdbb33a108df8017ff347ddc5e736935d57c.tar.gz webtools.maps-a3fbbdbb33a108df8017ff347ddc5e736935d57c.tar.xz webtools.maps-a3fbbdbb33a108df8017ff347ddc5e736935d57c.zip | |
[231199] adding anchors to master TOC for javadoc extensions
Diffstat (limited to 'releng.sourceediting/maps/sourceediting-docs.map')
| -rw-r--r-- | releng.sourceediting/maps/sourceediting-docs.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng.sourceediting/maps/sourceediting-docs.map b/releng.sourceediting/maps/sourceediting-docs.map index 6afd0105a..e5767b169 100644 --- a/releng.sourceediting/maps/sourceediting-docs.map +++ b/releng.sourceediting/maps/sourceediting-docs.map @@ -9,7 +9,7 @@ !*************** plugin@org.eclipse.jst.jsp.ui.infopop=v200804091733,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.jst.jsp.ui.infopop -plugin@org.eclipse.wst.doc.user=v200805082134,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.doc.user +plugin@org.eclipse.wst.doc.user=v200805082206,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.doc.user plugin@org.eclipse.wst.dtd.ui.infopop=v2008050004,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.dtd.ui.infopop plugin@org.eclipse.wst.dtdeditor.doc.user=v200803261954,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.dtdeditor.doc.user plugin@org.eclipse.wst.html.ui.infopop=v200804091733,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.html.ui.infopop |