Add minimal developer documentation on how we implement scoring.#2951
Merged
meisterT merged 1 commit intoDOMjudge:mainfrom Mar 16, 2025
Merged
Add minimal developer documentation on how we implement scoring.#2951meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT merged 1 commit intoDOMjudge:mainfrom