Skip to content
GitLab
Explore
Sign in
Commit
21c412b4
authored
Jul 15, 2017
by
Dong Zhuang
Browse files
Added skip_during_manual_grading pperm to skip grader's session in grading ui.
parent
3a48ec7e
Loading
Loading
Loading
Loading
Changes
4
Pipelines
1