mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-11-02 19:52:14 +08:00
Pretty sure this hasn't been used yet, added in https://github.com/galaxyproject/galaxy/pull/20027/files. A proper json extension allows json tooling to work with this file.