Make sure to run the arvados-api-server-upgrade.sh and
[arvados-dev.git] / jenkins / arvados-sso-server-extras /
drwxr-xr-x   ..
-rwxr-xr-x 3116 arvados-sso-server-upgrade.sh
-rwxr-xr-x 7171 arvados-sso-server.postinst
-rwxr-xr-x 653 arvados-sso-server.postrm
-rwxr-xr-x 640 arvados-sso-server.prerm