mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-10-30 18:13:23 +08:00
As pointed out by @nsoranzo, this may avoid conflicts when the version string appears more than once in tool_id.
As pointed out by @nsoranzo, this may avoid conflicts when the version string appears more than once in tool_id.