[jbosstools-commits] JBoss Tools SVN: r9127 - trunk/tptp.

jbosstools-commits at lists.jboss.org jbosstools-commits at lists.jboss.org
Sun Jul 13 09:20:15 EDT 2008

Previous message: [jbosstools-commits] JBoss Tools SVN: r9126 - trunk.
Next message: [jbosstools-commits] JBoss Tools SVN: r9128 - trunk/tptp/plugins.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [jbosstools-commits] JBoss Tools SVN: r9126 - trunk.
Next message: [jbosstools-commits] JBoss Tools SVN: r9128 - trunk/tptp/plugins.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the jbosstools-commits mailing list