diff options
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 88832071d..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=v201008122303,:pserver:anonymous@dev.eclipse.org:/cvsroot/webtools,,jeetools/docs/org.eclipse.jst.j2ee.doc.user
\ No newline at end of file |