-
Dannon Baker authored
This is a sensible enough default, and requiring the option to be set in galaxy.ini is cumbersome and unnecessary since it's admin-only functionality.
37b98b77
This is a sensible enough default, and requiring the option to be set in galaxy.ini is cumbersome and unnecessary since it's admin-only functionality.