[jbosstools-issues] [JBoss JIRA] (JBIDE-13086) Clean target-platforms (local.target and jenkins.target no more useful)

Clean target-platforms (local.target and jenkins.target no more useful) ----------------------------------------------------------------------- Key: JBIDE-13086 URL: https://issues.jboss.org/browse/JBIDE-13086 Project: Tools (JBoss Tools) Issue Type: Enhancement Components: Build/Releng, target-platform Reporter: Mickael Istria Assignee: Mickael Istria Labels: respin-a Fix For: 4.0.0.CR1 local.target and jenkins.target are no more used in favor of Tycho 0.16 mirroring. So we don't need to build them any more. They should be removed and the target-platform site creation process should be reviewed to still provide local mirror without using the local.target.