19 Oct
2016
19 Oct
'16
8:54 a.m.
On 10/19/2016 03:36 PM, Martin Čech wrote:
Hi Pierre,
It seems that instead of uninstalling you de-activated the repository. I would uninstall the repository again.
admin > manage installed tools > there is no tool installed. Search toolshed > select > >> preview and install > "Install to Galaxy"
all unchecked / empty ; submit > ERROR
Pierre