mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-24 16:30:27 +08:00
Allow overiding galaxy_url directly (don't do this - use galaxy_infrastructure_url - but there will be deployments). Don't require setting older port range deployment options.