Add commands to compare awards, scoreboard and results#2583
Merged
nickygerritsen merged 4 commits intoDOMjudge:mainfrom Aug 3, 2024
Merged
Add commands to compare awards, scoreboard and results#2583nickygerritsen merged 4 commits intoDOMjudge:mainfrom
nickygerritsen merged 4 commits intoDOMjudge:mainfrom