Skip to content

Rename contest leaderboard to score leaderboard#1064

Merged
RichDom2185 merged 2 commits intosource-academy:masterfrom
DesSnowy:RenameContestLeaderboard
Feb 13, 2024
Merged

Rename contest leaderboard to score leaderboard#1064
RichDom2185 merged 2 commits intosource-academy:masterfrom
DesSnowy:RenameContestLeaderboard

Commits

Commits on Feb 13, 2024