release 4.0.1.Final to http://download.jboss.org/jbosstools/updates/development/juno/; add new discovery plugin plugins/org.jboss.tools.central.discovery_1.1.1.Final-v20130326-2027-B145.jar + update jbosstools-directory.xml >> master #113

Merged
merged 1 commit into from Apr 4, 2013
Commits on Apr 4, 2013
  1. @nickboldt

    release 4.0.1.Final to http://download.jboss.org/jbosstools/updates/d…

    nickboldt committed Apr 4, 2013
    …evelopment/juno/; add new discovery plugin plugins/org.jboss.tools.central.discovery_1.1.1.Final-v20130326-2027-B145.jar + update jbosstools-directory.xml