Revert "Workaround for Bug 1262" 71/9871/2
[osm/devops.git] / jenkins / RO /
drwxr-xr-x   ..
-rw-r--r-- 1219 SETTINGS
-rwxr-xr-x 1847 install
-rwxr-xr-x 1689 start_build