Skip to content

Submission filter#26

Open
pjabbarzade wants to merge 7 commits intoakmohtashami:ioi2017-finalfrom
pjabbarzade:submission-filter
Open

Submission filter#26
pjabbarzade wants to merge 7 commits intoakmohtashami:ioi2017-finalfrom
pjabbarzade:submission-filter

Conversation

@pjabbarzade
Copy link
Copy Markdown

No description provided.

@akmohtashami
Copy link
Copy Markdown
Owner

Merged manually.

One improvement before sending to main repo: when filtered don't show re-evaluate buttons to avoid confusion.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants