Fixes bug 1254 and bug 1247
[osm/devops.git] / jenkins / MON /
drwxr-xr-x   ..
-rw-r--r-- 1470 SETTINGS
-rwxr-xr-x 1503 install
-rwxr-xr-x 1503 start_build