Fix bug 1747 to allow installation without docker proxy 15/11315/1
[osm/devops.git] / jenkins /
drwxr-xr-x   ..
drwxr-xr-x - ci-pipelines