Hello Shantanu,

I've created a Trello card for this - we'll take a look as soon as possible.

https://trello.com/c/1hXOJPlZ/994-toolshed-from-shantanu-pavgi-on-7-12-13-it-seems-like-if-we-uninstall-a-migrated-tool-then-it-s-entry-in-the-migrated-tools-conf

Thanks,

Greg Von Kuster

On Jul 12, 2013, at 12:42 PM, Shantanu Pavgi (Campus) <pa...@uab.edu> wrote:

> 
> It seems like if we uninstall a migrated tool then it's entry in the 
> migrated_tools_conf.xml file doesn't get deleted. Does it need to be removed 
> manually?
> 
> --
> Thanks,
> Shantanu
> ___________________________________________________________
> Please keep all replies on the list by using "reply all"
> in your mail client.  To manage your subscriptions to this
> and other Galaxy lists, please use the interface at:
>  http://lists.bx.psu.edu/
> 
> To search Galaxy mailing lists use the unified search at:
>  http://galaxyproject.org/search/mailinglists/


___________________________________________________________
Please keep all replies on the list by using "reply all"
in your mail client.  To manage your subscriptions to this
and other Galaxy lists, please use the interface at:
  http://lists.bx.psu.edu/

To search Galaxy mailing lists use the unified search at:
  http://galaxyproject.org/search/mailinglists/

Reply via email to