Hi,
On the left tool list panel of Galaxy website. On the top, there is a "options" button, when I click it, it shows a "Search Tools". How can I get it on my own local Galaxy server? On my local one, when I click "Options" button, the "Search Tools" button does not show up.
Thanks