remove TPTP from trunk ---------------------- Key: JBIDE-9415 URL: https://issues.jboss.org/browse/JBIDE-9415 Project: Tools (JBoss Tools) Issue Type: Bug Components: Cleanup Reporter: Max Rydahl Andersen Assignee: Max Rydahl Andersen Fix For: 3.3.0.M3 TPTP have been discontinued - already removed from build lets also remove it from trunk. -- This message is automatically generated by JIRA. For more information on JIRA, see: http://www.atlassian.com/software/jira