Skip to content

Toolbox reload: switch back to galaxy restart

Anthony Bretaudeau requested to merge toolbox_fix into master

because of #33 (closed)

Merge request reports