]> git.arvados.org - arvados-dev.git/tree - jenkins/arvados-sso-server-extras/
projects / arvados-dev.git / tree
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
Default run-deploy.sh to ssh port 22, and provide a command line option
[arvados-dev.git] / jenkins / arvados-sso-server-extras /
drwxr-xr-x   ..
-rwxr-xr-x 3116 arvados-sso-server-upgrade.sh blob | history | raw
-rwxr-xr-x 7354 arvados-sso-server.postinst blob | history | raw
-rwxr-xr-x 653 arvados-sso-server.postrm blob | history | raw
-rwxr-xr-x 640 arvados-sso-server.prerm blob | history | raw