Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This is likely incorrect for historical reasons since we changed the directory structure. Previous output: ``` Cleaning up judging data... in goo-0/endpoint-default: removing judging data for contest ./100 ... ``` New output: ``` Cleaning up judging data... in goo-0/endpoint-default: removing judging data for submission s100 ... ```
- Loading branch information