Fix bug 1746 to allow installation without docker proxy 16/11316/1
[osm/devops.git] / jenkins /
drwxr-xr-x   ..
drwxr-xr-x - ci-pipelines