jbosstools/jbosstools-download.jboss.org — pull request #242 by pleacu (2013-09-16 14:25:52+00:00)
Title: bump JBTIS TP to 4.1.5.Alpha3

I've re-cloned, pulled from the upstream master and rebased. It has just the two files to merge but lists 7 commits.