Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fixes #108

Merged
merged 4 commits into from
Oct 19, 2017
Merged

Fixes #108

merged 4 commits into from
Oct 19, 2017

Commits on Oct 19, 2017

  1. Explicit assign of group admin

    @SemaiCZE
    SemaiCZE committed Oct 19, 2017
    Configuration menu
    Copy the full SHA
    ef208bf View commit details
    Browse the repository at this point in the history

  2. Fix assignment page permissions for different user

    @SemaiCZE
    SemaiCZE committed Oct 19, 2017
    Configuration menu
    Copy the full SHA
    d63169a View commit details
    Browse the repository at this point in the history

  3. Reference solutions can be deleted

    @SemaiCZE
    SemaiCZE committed Oct 19, 2017
    Configuration menu
    Copy the full SHA
    331cc2c View commit details
    Browse the repository at this point in the history

  4. Allow removing supplementary files 

    May be altered after API implementation, but hopefully it is ok.
    @SemaiCZE
    SemaiCZE committed Oct 19, 2017
    Configuration menu
    Copy the full SHA
    3f447f3 View commit details
    Browse the repository at this point in the history