[jbosstools-commits] JBoss Tools SVN: r9128 - trunk/tptp/plugins.
Author: snjeza
Date: 2008-07-13 09:22:59 -0400 (Sun, 13 Jul 2008)
New Revision: 9128
Added:
trunk/tptp/plugins/org.jboss.tools.eclipse.as.tptp/
Log:
JBIDE-2093 TPTP profiling not available on "JBoss, a division of
RedHat"-servers