Show list of submissions on public and team scoreboards when clicking on a cell#2918
Merged
nickygerritsen merged 12 commits intoDOMjudge:mainfrom Jul 6, 2025
Merged
Commits
Commits on Jul 5, 2025
- committed
- committed
- committed
- committed
- committed
- committed