summaryrefslogtreecommitdiff
path: root/scripts/deploy/codeq_refresh_and_deploy.sh
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-12-11 15:18:20 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-12-11 16:11:15 +0100
commitdd723bd01634fa5ffc85402ea10947e472b257af (patch)
treec322b9e267e436dfcb8353f57f4ef1ec2b6f1b11 /scripts/deploy/codeq_refresh_and_deploy.sh
parent98c6716874472b981f088bff7a4348e6116fd681 (diff)
Add is_admin attribute to UserSession
Diffstat (limited to 'scripts/deploy/codeq_refresh_and_deploy.sh')
0 files changed, 0 insertions, 0 deletions