mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
d9e928dce9
Allow the `fetch debuginfo` command to have the upstream server urls be provided via environment variables rather than the command-line.