Re: [galaxy-dev] Galaxy setup from cloudman shows no tools in the tool panel