[GERONIMODEVTOOLS-673] Don't download TPTP runtime since maven-eclipsepde-plugin 1.1 can handle optional bundle now

• Type: Improvement
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 3.0
• Fix Version/s: 2.2.1, 2.1.7, 3.0
• Component/s: eclipse-plugin
• Assignee: Xuan Dai
• Reporter: Xuan Dai
• Created: 25/Sep/10 06:45
• Updated: 17/Jan/11 09:12
• Resolved: 29/Sep/10 05:32

Description

From 2.1.6, building GEP will download TPTP runtime from eclipse site. In fact, it's not necessary now, since maven-eclipsepde-plugin 1.1 has been updated and we don't have to download optional bundle such as plugins in TPTP runtime.