diff options
author | canderson | 2010-06-22 19:50:55 +0000 |
---|---|---|
committer | canderson | 2010-06-22 19:50:55 +0000 |
commit | 6c7b3ad88a5fd098d4840f1f65b635fdc6fb542c (patch) | |
tree | ee5709ca67926f3e76f31edaa6559947b1ea9a22 /releng.jeetools/maps/jeetools-docs.map | |
parent | 283bea1c6260a32b68d41a4eb984c2daeb005bc8 (diff) | |
parent | 26613a3a250568b2f662f567d5f6815d60546b0c (diff) | |
download | webtools.maps-vM20100622200547.tar.gz webtools.maps-vM20100622200547.tar.xz webtools.maps-vM20100622200547.zip |
This commit was manufactured by cvs2svn to create tag 'vM20100622200547'.vM20100622200547
Diffstat (limited to 'releng.jeetools/maps/jeetools-docs.map')
-rw-r--r-- | releng.jeetools/maps/jeetools-docs.map | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/releng.jeetools/maps/jeetools-docs.map b/releng.jeetools/maps/jeetools-docs.map deleted file mode 100644 index 339b1dadf..000000000 --- a/releng.jeetools/maps/jeetools-docs.map +++ /dev/null @@ -1,4 +0,0 @@ -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=v201005192219,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.j2ee.doc.user
\ No newline at end of file |