blob: 62e47de27806a1be3ad25f956909073443ca5779 [file]
This plugin is deprecated because it depends on org.eclipse.hyades.test.tools.core from TPTP, which is archived and doesn't exist anymore.
It also hasn't been updated since 200605101.