Harald Welte
027826fdba
This is initialized to docker.io, keeping the default behaviour if not specified. However, it allows us to specify a private registry later on. Related: OS#4839 Change-Id: I32d4ee6256033c809108c1b86cb6b6c58d880f49 |
||
---|---|---|
.. | ||
Dockerfile | ||
Makefile |