hide quick search tool by default - Githubissues

FNNDSC / chrisreloaded

Other

9 stars 8 forks source link

hide quick search tool by default #34

Closed NicolasRannou closed 11 years ago

NicolasRannou commented 11 years ago

regular user will not use it

NicolasRannou commented 11 years ago

We will reable it later on if needed.