diff options
| author | kprice | 2008-05-12 20:36:37 +0000 |
|---|---|---|
| committer | kprice | 2008-05-12 20:36:37 +0000 |
| commit | 4816d66eb5408e05d18f5e400907f517b7e3230e (patch) | |
| tree | 3c252511c42e9eb73aadfee058fa6680fef3fc64 /releng.sourceediting/maps/sourceediting-docs.map | |
| parent | 0a8790b8077da9265def1607c4f26eb425493563 (diff) | |
| download | webtools.maps-4816d66eb5408e05d18f5e400907f517b7e3230e.tar.gz webtools.maps-4816d66eb5408e05d18f5e400907f517b7e3230e.tar.xz webtools.maps-4816d66eb5408e05d18f5e400907f517b7e3230e.zip | |
[218352] adding pre-built index code to doc build file
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 4317ab313..b28d6521a 100644 --- a/releng.sourceediting/maps/sourceediting-docs.map +++ b/releng.sourceediting/maps/sourceediting-docs.map @@ -19,6 +19,6 @@ plugin@org.eclipse.wst.sse.ui.infopop=v200804091733,:pserver:anonymous@dev.eclip plugin@org.eclipse.wst.webtools.doc.user=v2008050002,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.webtools.doc.user plugin@org.eclipse.wst.xml.ui.infopop=v2008050004,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.xml.ui.infopop plugin@org.eclipse.wst.xmleditor.doc.user=v200805122117,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.xmleditor.doc.user -plugin@org.eclipse.wst.xsdeditor.doc.user=v2008050028,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.xsdeditor.doc.user +plugin@org.eclipse.wst.xsdeditor.doc.user=v200805122136,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,sourceediting/docs/org.eclipse.wst.xsdeditor.doc.user !***************
\ No newline at end of file |