Skip to content
Snippets Groups Projects
Commit 573d98c1 authored by david_williams's avatar david_williams
Browse files

remove TPTP from JEE

parent 50f14065
No related branches found
No related tags found
No related merge requests found
...@@ -279,23 +279,6 @@ ...@@ -279,23 +279,6 @@
version="latest"> version="latest">
</feature> </feature>
<feature
id="org.eclipse.tptp.platform.runtime"
version="latest">
</feature>
<feature
id="org.eclipse.tptp.trace.runtime"
version="latest">
</feature>
<feature
id="org.eclipse.tptp.wtp"
version="latest">
</feature>
</requiredFeatures> </requiredFeatures>
<!-- folder, pointing to a folder containing the zipped root files for each of <!-- folder, pointing to a folder containing the zipped root files for each of
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment