fix bug 1483: read only the IP address of the right device with the default route 17/10717/1
[osm/devops.git] / jenkins / release /
drwxr-xr-x   ..
-rwxr-xr-x 615 delete-tag.sh
-rwxr-xr-x 1285 new-tag.sh