jbosstools/jbosstools-maven-plugins — pull request #12 by mickaelistria (2013-11-06 14:54:50+00:00)
Title: JBIDE-15465: Remove generation of directory.xml in repository

The discovery mechanism and file where move to a dedicated repository.