Re: [galaxy-dev] Old tool not showing up properly in Tool Shed

On Mon, Aug 13, 2012 at 9:25 PM, Greg Von Kuster <greg@bx.psu.edu> wrote:

Hi Peter (and others in the Galaxy community using the tool shed),

This issue should now be resolved in the Galaxy tool shed.

Thanks Greg, Peter