Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix build: use kattis fork of disappeared jekyll-rtd-theme repo
This is a cherry-pick from Kattis/problem-package-format@712ccd9
- Loading branch information