diff options
author | avera | 2008-10-08 13:50:03 +0000 |
---|---|---|
committer | avera | 2008-10-08 13:50:03 +0000 |
commit | f1e26b84bb79eefdb3d087dc2808f00ee2805bbe (patch) | |
tree | 7e0d46fb5e24f43278bc7bf58ff428755a49e99c /releng.servertools/maps/servertools-docs.map | |
parent | f5ee6e3c4cc745187b21988dc35cbad7460b8fe7 (diff) | |
download | webtools.maps-f1e26b84bb79eefdb3d087dc2808f00ee2805bbe.tar.gz webtools.maps-f1e26b84bb79eefdb3d087dc2808f00ee2805bbe.tar.xz webtools.maps-f1e26b84bb79eefdb3d087dc2808f00ee2805bbe.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 f1576c6c4..3fa8de6b6 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=v200805150133,: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.server.doc.isv=v20080522,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,servertools/docs/org.eclipse.server.doc.isv
\ No newline at end of file +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 |