Bug 1501 - Correct tag for push 25/10625/2
[osm/devops.git] / jenkins / UI /
drwxr-xr-x   ..
-rw-r--r-- 1620 SETTINGS
-rwxr-xr-x 3029 install
-rwxr-xr-x 1101 start_build