mirror of
https://gitlab.redox-os.org/redox-os/redox.git
synced 2026-06-23 13:24:17 +08:00
Check for source, not build, when updating
This commit is contained in:
parent
742340a220
commit
3e0bc79bb9