Harald Welte 027826fdba introduce 'REGISTRY' argument to all Dockerfiles ... 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		2020-11-02 17:02:26 +01:00
..
Dockerfile	introduce 'REGISTRY' argument to all Dockerfiles	2020-11-02 17:02:26 +01:00
Makefile	debian-stretch-jenkins: move from osmo-ci.git	2020-01-15 09:28:49 +01:00
Release.key	update OBS Release.key; the old one expired today.	2020-03-30 18:06:58 +02:00