[jbosstools-issues] [JBoss JIRA] Created: (JBIDE-9415) remove TPTP from trunk

[Max Rydahl Andersen (JIRA)]

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