[jbosstools-commits] JBoss Tools SVN: r9127 - trunk/tptp.
Author: snjeza
Date: 2008-07-13 09:20:15 -0400 (Sun, 13 Jul 2008)
New Revision: 9127
Added:
trunk/tptp/plugins/
Log:
JBIDE-2093 TPTP profiling not available on "JBoss, a division of
RedHat"-servers