Re: [galaxy-dev] automatic installation of galaxy tools...