2 Dec
2010
2 Dec
'10
8:14 p.m.
Hi, We have a local galaxy mirror installed and running. Is there a way to add new tools without restarting galaxy? Thanks! Chaolin