diff options
| author | avera | 2008-10-19 09:28:12 +0000 |
|---|---|---|
| committer | avera | 2008-10-19 09:28:12 +0000 |
| commit | 9bdaee56cc8fa74bc6c75f016acb0ada078b300e (patch) | |
| tree | 98b00511c927d1262ed6dedf1f0a44b2d26135e4 /releng.servertools/maps/servertools-docs.map | |
| parent | ef47c51e393c48e07398985f6260bbeee7de36d5 (diff) | |
| download | webtools.maps-9bdaee56cc8fa74bc6c75f016acb0ada078b300e.tar.gz webtools.maps-9bdaee56cc8fa74bc6c75f016acb0ada078b300e.tar.xz webtools.maps-9bdaee56cc8fa74bc6c75f016acb0ada078b300e.zip | |
[234840] server.doc.isv plugin needs attention
Diffstat (limited to 'releng.servertools/maps/servertools-docs.map')
| -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 0fbf0d033..d77b0b1fa 100644 --- a/releng.servertools/maps/servertools-docs.map +++ b/releng.servertools/maps/servertools-docs.map @@ -3,4 +3,4 @@ plugin@org.eclipse.wst.server.ui.doc.user=v200810082047,:pserver:anonymous@dev.e plugin@org.eclipse.wst.server.ui.infopop=v200805140145,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.wst.server.ui.infopop plugin@org.eclipse.jst.server.ui.doc.user=v200805150133,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.doc.user plugin@org.eclipse.jst.server.ui.infopop=v200805140145,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.jst.server.ui.infopop -plugin@org.eclipse.servertools.doc.isv=v20081008,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.servertools.doc.isv
\ No newline at end of file +plugin@org.eclipse.servertools.doc.isv=v20081019,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.servertools.doc.isv
\ No newline at end of file |