Hi Ketan,
have you installed your tool via the Tool Shed?
If so, than you need to delete the old revision of your tool.
Cheers,
Bjoern
Hi,
I renamed my tool name in tool name= but when I restart Galaxy
server, I see a dropdown in front of the tool title with two versions
with same
Hi Bjoern,
This is a tool I am developing. In Galaxy admin, I could not find any
option to manage tools and versions.
In my tools directory, there is just one tool xml file for this tool.
Thanks,
Ketan
On Sat, Feb 1, 2014 at 6:40 PM, Björn Grüning bjoern.gruen...@gmail.comwrote:
Hi Ketan,
2 matches
Mail list logo
