Skip to content

judgeenv: properly specify a default in docker - #1027

Open
Riolku wants to merge 1 commit into
DMOJ:masterfrom
Riolku:docker-default
Open

judgeenv: properly specify a default in docker#1027
Riolku wants to merge 1 commit into
DMOJ:masterfrom
Riolku:docker-default

Commits

Commits on Mar 22, 2022