Re: [galaxy-user] [devteam-bioc] User dropdown menu as galaxy input file