mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-11-03 21:34:30 +08:00
this should improve the toolsearch for certain keywords and also make the search index smaller
this should improve the toolsearch for certain keywords and also make the search index smaller