mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-06 02:28:30 +00:00
This way, the base repository does not need to be present in the 'REPOSITORIES' list when building static executables.
This way, the base repository does not need to be present in the 'REPOSITORIES' list when building static executables.