diff options
author | kraev | 2008-10-07 14:37:00 +0000 |
---|---|---|
committer | kraev | 2008-10-07 14:37:00 +0000 |
commit | 8d967498cae99576906a342ba813c645c942cfeb (patch) | |
tree | 75e539d7f580456fd764ba5c6fc27b3441d71b2c /releng.jeetools/maps/jeetools-docs.map | |
parent | c4b563b3d57ab25f1eeca651715ef8da46f1c9ae (diff) | |
download | webtools.maps-8d967498cae99576906a342ba813c645c942cfeb.tar.gz webtools.maps-8d967498cae99576906a342ba813c645c942cfeb.tar.xz webtools.maps-8d967498cae99576906a342ba813c645c942cfeb.zip |
bump +100 service version for org.eclipse.jst.j2ee.doc.user and org.eclipse.jst.jee.web
Diffstat (limited to 'releng.jeetools/maps/jeetools-docs.map')
-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 d01a3c25e..1255eb020 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=v200807232118,: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=v200810071436,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.j2ee.doc.user
\ No newline at end of file |