blob: 62e47de27806a1be3ad25f956909073443ca5779 [file] [log] [blame]
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.