install_from_source updated to fix bugs in SO configuration through curl
[osm/devops.git] / jenkins / SO /
drwxr-xr-x   ..
-rw-r--r-- 1620 SETTINGS
-rwxr-xr-x 1728 start_build