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

[Max Rydahl Andersen (JIRA)]

     [ https://issues.jboss.org/browse/JBIDE-9415?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Max Rydahl Andersen resolved JBIDE-9415.
----------------------------------------

    Resolution: Done


> 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